Doerr, J.
, Bock, C.
and Barbau, R.
(2024),
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-upd1, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=960563
(Accessed August 7, 2025)