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. In Thomas Kühn 0001, Vasco Sousa, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 83-84, ACM, 2022. [doi]
Abstract is missing.