From Electrical Switched Networks to Hybrid Automata.

Alessandro Cimatti, Sergio Mover, Mirko Sessa

Browse the full FM paper archive.