@book{8593, author = {DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems and Alur, Rajeev,}, title = {Hybrid systems III : }, publisher = {Springer, }, year = {1996.}, series = {Lecture notes in computer science ; }, address = {Berlin : } }