Mathematics of Dependable Systems: Based on the Proceedings of a Conference on Mathematics of Dependable Systems, Organized by the Institute of (Insti ... ations Conference Series No 55) (1652672106)