Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies