"Automata, circuits and hybrids: facets of continuous time."

Boris A. Trakhtenbrot (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics