Mark Blackburn, Peter Denno. Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design. In Azad M. Madni, Barry W. Boehm, editors, Proceedings of the Conference on Systems Engineering Research, CSER 2014, Redondo Beach, CA, USA, March 20-22, 2014. Volume 28 of Procedia Computer Science, pages 883-890, Elsevier, 2014.
Abstract is missing.