Jung, K.
, Morris, K.
, Lyons, K.
, Leong, S.
and Cho, H.
(2015),
Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility, Concurrent Engineering-Research and Applications, [online], https://doi.org/10.1177/1063293X15603217, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=918901
(Accessed August 14, 2024)