1. Marwedel , P. 2010 Embedded and Cyber-Physical Systems in a Nutshell Design Automation Conference (DAC) Knowledge Center Article http://www.dac.com/front_end+topics.aspx?article=58&topic=1
2. Design of Embedded Systems: Formal Models, Validation, and Synthesis;Edwards;Proceedings of the IEEE,1997
3. Wang , S. Riccardo , B. 2001 Reactive Speed Control in Temperature-Constrained Real-Time Systems Proceedings of Euromicro Conference on Real-Time Systems 239 244
4. Efficient Embedded Computing;Dally;IEEE Computer,2008