A language and simulator for hybrid systems - Fábián, Georgina, 1971- (Technische Universiteit Eindhoven, 1999)