Author: Ada-Europe International Conference on Reliable Software Technologies (9th 2004 Palma de Mallorca, Spain)