1. Aichernig, B., Krenn, W., Eriksson, H., Vinter, J., 2008. State of the art survey – Part A: Model-based test case generation. Tech. rep., Graz University of Technology.
2. Aichernig, B.K., Brandl, H., Wotawa, F., 2009. Conformance testing of hybrid systems with qualitative reasoning models. In: Finkbeiner, B., Gurevich, Y., Petrenko, A. (Eds.), MBT 2009, 2nd edition, vol. 253. Elsevier B.V., York, pp. 53–69.
3. UML-based modeling and model-driven development of distributed control systems;Basile,2008
4. Design and verification of industrial logic controllers with UML and statecharts;Bonfe,2003
5. A practical approach to object-oriented modeling of logic control systems for industrial applications.;Bonfe,2004