The discrete time behavior of lazy linear hybrid automata - Agrawal, M. (2013)
Lecture Notes in Computer Science