D. Pérez. Dependability of safety-critical systems: contribution of the synchronous approach. In Sixth International Symposium on Software Reliability Engineering, ISSRE 1995, Toulouse, France, October 24-27, 1995. pages 296-301, IEEE, 1995. [doi]
Abstract is missing.