Taylor T. Johnson, Stanley Bak, Steven Drager. Cyber-physical specification mismatch identification with dynamic analysis. In Alexandre M. Bayen, Michael S. Branicky, editors, Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, Seattle, WA, USA, April 14-16, 2015. pages 208-217, ACM, 2015. [doi]
Abstract is missing.