Hybrid I/O automata.
scientific article; zbMATH DE number 2056075