Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca. - Hiep Hong Trinh; Marjan Sirjani; Federico Ciccozzi; Abu Naser Masud; Mikael Sjödin (CoRR, 2025)

M, Toolchain and Language for Reusable Model Compilation. - Hiep Hong Trinh; Federico Ciccozzi; Abu Naser Masud; Marjan Sirjani; Mikael Sjödin (CoRR, 2025)