Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi. Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. 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-10, IEEE, 2009. [doi]
Abstract is missing.