Modeling and verifying a Lego car using hybrid I/O automata / A. Fehnker, F.W. Vaandrager, M. Zhang
Modeling and verifying a Lego car using hybrid I/O automata