Formal Verification of UML-modeled Machine Controls

Thomas Klotz, Eva Fordran, Bernd Straube, Jürgen Haufe. Formal Verification of UML-modeled Machine Controls. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain. pages 1-7, IEEE, 2009. [doi]