A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.

Robert Thorburn Vladimiro Sassone Asieh Salehi Fathabadi Leonardo Aniello Michael J. Butler Dana Dghaym Thai Son Hoang A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. 83-84 2022 MoDELS (Companion) https://doi.org/10.1145/3550356.3559577 conf/models/2022c db/conf/models/models2022c.html#ThorburnSFABDH22