A Precise High-Level Power Consumption Model for Embedded Systems Software. (19th August 2010)