@article{789071,
  author = {Kiwook Jung and KC Morris and Kevin Lyons and Swee Leong and Hyunbo Cho},
  title = {Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility},
  year = {2015},
  number = {23},
  month = {2015-12-01 00:12:00},
  publisher = {Concurrent Engineering-Research and Applications},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=918901},
  doi = {https://doi.org/10.1177/1063293X15603217},
  language = {en},
}