Hybrid systems as a topological abstraction of digitally controlled systems. - Dominique Luzeaux; Jean-Francois Antoniotti (ECC, 1999)