Author: IEEE International Conference on Software Engineering and Formal Methods (5th 2007 London, England)