Mathematics of dependable systems : based on the proceedings of a conference on Mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 1993 - Stavridou, Victoria (Clarendon, 1995)