[GBK+19] Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Liv and Valeriy Vyatkin. Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Transactions on Automation Science and Engineering, 16(3), pages 1110-1124. 2019. [Presents an approach for modelling and verification of reconfigurable distributed system, using PRISM as a back-end verifier. ]