Formal design and analysis of a gear controller. (1998)

by Magnus Lindahl, Paul Pettersson, Wang Yi
Venue:In TACAS 98: Proceedings of the 4th International Conference on Tools and Algorithms