Text this: A language and simulator for hybrid systems /