Design verification for control engineering (2004)

by Richard J Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
Venue:In Integrated Formal Methods