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