Author: Ada-Europe International Conference on Reliable Software Technologies (7th 2002 Vienna, Austria)