@misc{1287456,
  author = {Jeremy Doerr and Conrad Bock and Raphael Barbau},
  title = {Verifying Executability of SysML Behavior Models Using Alloy Analyzer},
  year = {2024},
  month = {2024-11-08 05:11:00},
  publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=960563},
  doi = {https://doi.org/10.6028/NIST.IR.8388-upd1},
  language = {en},
}