Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8--11, 2013
scientific article; zbMATH DE number 6362532