Soraya Mesli, Armand Toguyéni, Alain Bignon, Flavio Oquendo, Djamal Kesraoui, et al.. Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components.
Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. IFAC, Journal IFAC PapersOnLine (Elsevier), pp.427-467,
〈http://www.sciencedirect.com/science/journal/24058963/49/19〉.
〈hal-01441587〉