@misc{1134976,
  author = {Raphael Barbau and Conrad Bock},
  title = {Verifying executability of SysML behavior models using satisfiability modulo theory solvers:},
  year = {2020},
  month = {2020-06-01 04:06:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.8283},
  language = {en},
}