Kostadin Damevski, Badreldin Altayeb, Hui Chen, David Walter. Teaching cyber-physical systems to computer scientists via modeling and verification. In Tracy Camp, Paul T. Tymann, J. D. Dougherty, Kris Nagel, editors, The 44th ACM Technical Symposium on Computer Science Education, SIGCSE '13, Denver, CO, USA, March 6-9, 2013. pages 567-572, ACM, 2013. [doi]
Abstract is missing.