"From Electrical Switched Networks to Hybrid Automata."

Alessandro Cimatti, Sergio Mover, Mirko Sessa (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics