Author: Ada-Europe International Conference on Reliable Software Technologies (12th 2007 Geneva, Switzerland)