TY - GEN AU - Leon F McGinnis C2 - , National Institute of Standards and Technology, Gaithersburg, MD DA - 2019-12-01 05:12:00 DO - https://doi.org/10.6028/NIST.GCR.19-022 LA - en PB - , National Institute of Standards and Technology, Gaithersburg, MD PY - 2019 TI - Formalizing ISA-95 level 3 control with smart manufacturing system models: ER -