Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1995)