Abstract: This research paper deals with combining semi-formal and formal methods to develop distributed reconfigurable control systems. The reconfiguration consists in modifying the system behavior ...