TY - RPRT TI - Formalizing ISA-95 level 3 control with smart manufacturing system models AU - McGinnis, Leon F PY - 2019 PB - National Institute of Standards and Technology CY - Gaithersburg, MD SN - NIST GCR 19-022 DO - 10.6028/NIST.GCR.19-022 ER -