Timo Vepsäläinen, Seppo Kuikka. Towards model-based development of safety-related control applications. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-9, IEEE, 2011. [doi]
Abstract is missing.