Boutheina Bannour, Arnault Lapitre, Pascale Le Gall. Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. In Ladjel Bellatreche, George A. Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain, editors, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings. Volume 1481 of Communications in Computer and Information Science, pages 46-60, Springer, 2021. [doi]