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