1. Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press.
2. Hugo Bazille , Blaise Genest , Cyrille Jégourel , and Jun Sun . 2020 . Global PAC Bounds for Learning Discrete Time Markov Chains. In Computer Aided Verif. - 32nd Int . Conf., CAV, Vol. 12225 . 304–326. https://doi.org/10.1007/978-3-030-53291-8_17 10.1007/978-3-030-53291-8_17 Hugo Bazille, Blaise Genest, Cyrille Jégourel, and Jun Sun. 2020. Global PAC Bounds for Learning Discrete Time Markov Chains. In Computer Aided Verif. - 32nd Int. Conf., CAV, Vol. 12225. 304–326. https://doi.org/10.1007/978-3-030-53291-8_17
3. International Electrotechnical Commission . 2012. Functional blocks - Part 1: Architecture , 2 nd edn, IEC 61499-1. IEC Geneva ( 2012 ). International Electrotechnical Commission. 2012. Functional blocks - Part 1: Architecture, 2nd edn, IEC 61499-1. IEC Geneva (2012).
4. Towards Time-Sensitive Behavioral Contract Monitors for IEC 61499 Function Blocks
5. Yliès Falcone , Irman Faqrizal , and Gwen Salaün . 2022 . Runtime Enforcement for IEC 61499 Applications. In Software Engineering and Formal Methods - 20th International Conference , SEFM 2022, Vol. 13550. 352–368. https://doi.org/10.1007/978-3-031-17108-6_22 10.1007/978-3-031-17108-6_22 Yliès Falcone, Irman Faqrizal, and Gwen Salaün. 2022. Runtime Enforcement for IEC 61499 Applications. In Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Vol. 13550. 352–368. https://doi.org/10.1007/978-3-031-17108-6_22