A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers. - Aziz Sfar; Dina Irofti; Madalina Croitoru (FoIKS, 2022)

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. - Aziz Sfar; David Carral; Dina Irofti; Madalina Croitoru (FMICS, 2023)