Applying real-time interface and calculus for dynamic power management in hard real-time systems - Huang, Kai et al - swissbib.ch:(NATIONALLICENCE)springer-10.1007/s11241-011-9115-z