Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch. A formal approach to check and schedule reconfigurable embedded control systems. In Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany. pages 383-391, IEEE, 2008. [doi]
Abstract is missing.