"Formal Design and Analysis of a Gear Controller."

Magnus Lindahl, Paul Pettersson, Wang Yi (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics