Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque. An Integrated Framework for the Formal Analysis of Critical Interactive Systems. In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020. pages 139-148, IEEE, 2020. [doi]
Abstract is missing.