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  -