Model-Based Systems Engineering Toolchains for Software Development of Robotic Autonomous Systems. - Calvin Cheung; Andrew Pfeil; Mark Petrotta; Catherine Haggerty (RoSE, 2025)