rigorous development of complex fault-tolerant systems

cliff (edt) jones · springer-verlag new york inc