Authors: Havelund, K Lowry, M Penix, J

Citation: K. Havelund et al., Formal analysis of a space-craft controller using SPIN, IEEE SOFT E, 27(8), 2001, pp. 749-765