J. Rushby

Algorithms for fault-tolerant distributed systems. Final technical report, February 1985-February 1988

P. M. Melliar-Smith, L. Moser, L. Lamport, 1989 .

Calculating with requirements

J. Rushby, 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.