Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Li, Valeriy Vyatkin. Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE T. Automation Science and Engineering, 16(3):1110-1124, 2019. [doi]
Abstract is missing.