@conference{876516,
  author = {Gerald Heddy and Umer Huzaifa and Peter Beling and Yacov Haimes and Jeremy Marvel and Brian Weiss and Amy LaViers},
  title = {Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems},
  year = {2015},
  month = {2015-10-23 04:10:00},
  publisher = {Proceedings of the PHM Society Conference, San Diego, CA, US},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=919129},
  language = {en},
}