1. Garro, A., Tundis, A.: A model-based method for system reliability analysis. In: 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 1–8 (2012)
2. Zhan, Y., Clark, J.A.: A search-based framework for automatic testing of MATLAB/Simulink models. Journal of Systems and Software 81(2), 262–285 (2008)
3. Chapoutot, A., Martel, M.: Abstract Simulation: A Static Analysis of Simulink Models. In: International Conference on Embedded Software and Systems, pp. 83–92 (2009)
4. Boden, L.M., Busser, R.D.: Adding natural relationships to Simulink models to improve automated model-based testing. In: Digital Avionics Systems Conference, vol. 2, pp. 1–9.
5. Lecture Notes in Computer Science;W.R. Cleaveland,2008