TY  - RPRT
TI  - Verifying executability of SysML behavior models using Alloy Analyzer 
AU  - Doerr, Jeremy
AU  - Bock, Conrad
AU  - Barbau, Raphael
PY  - 2021
PB  - National Institute of Standards and Technology (U.S.)
CY  - Gaithersburg, MD
SN  - NIST IR 8388
DO  - 10.6028/NIST.IR.8388
ER  -