Proceedings of the 13th ACM international conference on Hybrid systems computation and control
ACM Digital Library