Formal Design and Analysis of a Gear Controller.

Magnus Lindahl, Paul Pettersson, Wang Yi

Browse the full TACAS paper archive.