Ada-Europe International Conference on Reliable Software Technologies (6th 2001 Louvain, Belgium)