Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. Compositional Simulation of Abstract State Machines for Safety Critical Systems. In Silvia Lizeth Tapia Tarifa, José Proença, editors, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Volume 13712 of Lecture Notes in Computer Science, pages 3-19, Springer, 2022. [doi]
Abstract is missing.