Formal design and analysis of a gear controller. - Magnus Lindahl; Paul Pettersson; Wang Yi 001 (Int. J. Softw. Tools Technol. Transf., 2001)