Formal Analysis of a Space Craft Controller using SPIN. (1998)

by Klaus Havelund, Michael R Lowry, John Penix
Venue:In Proceedings of the 4th SPIN workshop,