Author: IEEE International Conference on Software Engineering and Formal Methods (7th 2009 Hanoi, Vietnam)