Ada-Europe International Conference on Reliable Software Technologies (1996 Montreux, Switzerland)