An experience of a critical software development. - C. Sayet; Eric Pilaud (FTCS, 1990)