In: HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago, IL, USA, Pages 311-312, ISBN 978-1-4503-0629-4, ACM, 4/2011.
Tuğrul Dayar; Werner Sandmann; David Spieler; Verena Wolf