Author: Qld.) International Conference on Software Engineering and Formal Methods (1st 2003 Brisbane