
334 Model-Based Testing for Embedded Systems
The MathWorks (2010c). Web site of the Stateflow
r
tool - design and simulate state
machines and control logic. URL: http://www.mathworks.com/products/stateflow/.
Modelica Association (2010). Modelica - a unified object-oriented language for physical
systems modeling. URL: http://www.modelica.org/documents/ModelicaSpec30.pdf.
Montenegro, S., J¨ahnichen, S., and Maibaum, O. (2006). Simulation-based testing of embed-
ded software in space applications. In Hommel, G. and Huanye, S. (Eds.), Embedded
Systems - Modeling, Technology, and Applications, Pages: 73–82. Springer Netherlands.
10.1007/1-4020-4933-1
8.
Neukirc ...