Design of dependable Ada software. - Gilles Motet; Alain Mapinard; Jean C. Geoffroy (Prentice Hall, 1995)