selected publications conference paper Implementation of agent-based reconfigurable embedded control systems. . 2009 A formal approach to check and schedule reconfigurable embedded control systems. . 2008 Systematic Design and Implementation of Distributed Controllers in Industrial Automation. . 2006