A language and simulator for hybrid systems by G. Fabian