Miriam Schleipen. A concept for conformance testing of AutomationML models by means of formal proof using OCL. In Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain. pages 1-5, IEEE, 2010. [doi]