Doerr, J.
, Bock, C.
and Barbau, R.
(2022),
Verifying Executability of SysML Behavior Models Using Alloy Analyzer, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.8388, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=932985
(Accessed December 3, 2024)