Barbau, R.
and Bock, C.
(2020),
Verifying executability of SysML behavior models using Satisfiability Modulo Theory solvers, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.8283
(Accessed October 6, 2024)