Author: Ada-Europe International Conference on Reliable Software Technologies (13th 2008 Venice, Italy)