@misc{1151471, author = {Leon F McGinnis}, title = {Formalizing ISA-95 level 3 control with smart manufacturing system models:}, year = {2019}, month = {2019-12-01 05:12:00}, publisher = {, National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NIST.GCR.19-022}, language = {en}, }