Sztipanovits, J. ., Bapty, T. ., Jackson, E. ., Koutsoukos, X. ., Lattmann, Z. ., & Neema, S. . (2018). Model and Tool Integration Platforms for Cyber-Physical System Design. Proceedings of the IEEE.