Author: International Conference on Formal Engineering Methods (5th 2003 Singapore)