John Fitzgerald and Peter Gorm Larsen and Marcel Verhoef, "Vienna
Development Method," Wiley Encyclopedia of Computer Science and
Engineering, 2008, edited by Benjamin Wah, John Wiley & Sons, Inc.
 Peter Gorm Larsen and Nick Battle and Miguel Ferreira and John
Fitzgerald and Kenneth Lausdahl and Marcel Verhoef, "The Overture
Initiative - Integrating Tools for VDM," ACM Software Engineering
Notes, vol. 35, no. 1, p. , January 2010. (Online). Available:
 Controllab products, "http://www.20sim.com/," January 2013, 20-Sim
 C. Kleijn, 20-sim 4.1 Reference Manual, First ed. Enschede: Controllab
Products B.V., 2009, ISBN 978-90-79499-05-2.
 J. F. Broenink and P. G. Larsen and M. Verhoef, and C. Kleijn and D.
Jovanovic and K. Pierce and F. Wouters, "Design Support and Tooling
for Dependable Embedded Control Software," in Proceedings of Serene
2010 International Workshop on Software Engineering for Resilient
Systems. ACM, April 2010, pp. 77-82.
 Jan Broenink et al, "DESTECS Methodologogical Guidelines, Deliberable
2.3," DESTECS consortium, Tech. Rep., August 2012.
 Sandford Friedenthal, Alan Moore, Rick Steiner, A Practical Guide to
SysML, First ed. Sanford Friendenthal: Morgan Kaufman OMG Press,
2008, ISBN 978-0-12-374379-4.
 Sheayun Lee and Andreas Ermedahl and Sang Lyul Min, "An Accurate
Instruction-Level Energy Consumption Model for Embedded RISC
 Mostafa E.A. Ibrahim and Markus Rupp and Hossam A. H. Fahmy, "A
Precise High-Level Power Consumption Model for Embedded Systems
Software," EURASIP Journal on Embedded Systems, vol. Volume 2011,
no. 1, January 2011.
 Y.-H. Park, S. Pasricha, F. J. Kurdahi, and N. Dutt, "A multi-granularity
power modeling methodology for embedded processors," IEEE Trans.
Very Large Scale Integr. Syst., vol. 19, no. 4, pp. 668-681, 2011.
 Ozgur Celebican and Tajana Simunic Rosing and Vincent J. III Mooney,
"Energy Estimation of Peripheral Devices in Embedded Systems," in
Proceedings of the 14th ACM Great Lakes symposium on VLSI, ser.
GLSVLSI -04, 2004.
 B. Ouni, C. Belleudy, and E. Senn, "Accurate energy characterization
of os services in embedded systems," EURASIP Journal on Embedded
Systems, vol. 2012, no. 1, p. 6, 2012.
 N. Vijaykrishnan, M. Kandemir, M. J. Irwin, H. S. Kim, and W. Ye,
"Energy-driven integrated hardware-software optimizations using simplepower,"
SIGARCH Comput. Archit. News, vol. 28, no. 2, pp. 95-106,
 Q. Wang, M. Hempstead, and W. Yang, "A realistic power consumption
model for wireless sensor network devices," in Sensor and Ad Hoc
Communications and Networks, 2006. SECON -06. 2006 3rd Annual
IEEE Communications Society on, vol. 1, sept. 2006, pp. 286 -295.
 F. Zhang, Z. Shi, and W. Wolf, "A dynamic battery model
for co-design in cyber-physical systems," in Proceedings of the
2009 29th IEEE International Conference on Distributed Computing
Systems Workshops, ser. ICDCSW -09. Washington, DC, USA:
IEEE Computer Society, 2009, pp. 51-56. (Online). Available:
 R. Rao, S. Vrudhula, and D. N. Rakhmatov, "Battery modeling for
energy-aware system design," Computer, vol. 36, no. 12, pp. 77-87, Dec.
2003. (Online). Available: http://dx.doi.org/10.1109/MC.2003.1250886
 A. Tiwari, M. A. Laurenzano, L. Carrington, and A. Snavely, "Modeling
Power and Energy Usage of HPC Kernels," in Proceedings of the 2012
IEEE 26th International Parallel and Distributed Processing Symposium
Workshops & PhD Forum, ser. IPDPSW -12. Washington, DC, USA:
IEEE Computer Society, 2012, pp. 990-998.