@conference{224801,
  author = {Peter Denno and Mark Blackburn},
  title = {Virtual Design and Verification of Cyber Physical Systems: Industrial Process Plant Design},
  year = {2014},
  month = {2014-03-12},
  publisher = {Proceedings of the Conference on Systems Engineering Research (CSER 2014), Redondo Beach, CA},
  language = {en},
}