TY - CONF AU - Peter Denno AU - Mark Blackburn C2 - Proceedings of the Conference on Systems Engineering Research (CSER 2014), Redondo Beach, CA DA - 2014-03-12 LA - en PB - Proceedings of the Conference on Systems Engineering Research (CSER 2014), Redondo Beach, CA PY - 2014 TI - Virtual Design and Verification of Cyber Physical Systems: Industrial Process Plant Design ER -