TY - GEN AU - Leon McGinnis C2 - Grant/Contract Reports (NISTGCR), National Institute of Standards and Technology, Gaithersburg, MD DA - 2019-12-23 DO - https://doi.org/10.6028/NIST.GCR.19-022 LA - en PB - Grant/Contract Reports (NISTGCR), National Institute of Standards and Technology, Gaithersburg, MD PY - 2019 TI - Formalizing ISA-95 Level 3 Control with Smart Manufacturing System Models ER -