Pavithra Prabhakar, Boris Köpf. Verifying information flow properties of hybrid systems. In Linda Bushnell, Larry Rohrbough, Saurabh Amin, Xenofon D. Koutsoukos, editors, 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013. pages 77-84, ACM, 2013. [doi]
Abstract is missing.