1. Bernardeschi, C., Fantechi, A., Simoncini, L.: A formal framework for verifying fault tolerant systems. Internal Report IR-BFS1-93, Department of Information Engineering, University of Pisa (1993) (available on request from the authors)
2. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LO-TOS. The Formal Description Technique LOTOS, Elsevier Science Publishers B.V., North-Holland (1989) 23–73
3. Bouali, A., De Simone, R.: Symbolic bisimulation minimisation. Proc. Computer Aided Verification '92, LNCS 663 (1992) 96–108
4. Cau, A., de Roever, W.: Specifying fault tolerance within Stark's formalism. Proc. FTCS'23, Toulouse, France (1992) 392–401
5. Cristian, F.: A rigorous approach to fault tolerant programming. IEEE Transaction on Software Engineering, 11 (1), (1985) 23–31