Ada-Europe International Conference on Reliable Software Technologies (15th 2010 Valencia, Spain)