@misc{250306,
  author = {Leon McGinnis},
  title = {Formalizing ISA-95 Level 3 Control with Smart Manufacturing System Models},
  year = {2019},
  month = {2019-12-23},
  publisher = {Grant/Contract Reports (NISTGCR), National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.GCR.19-022},
  language = {en},
}