Software engineering and formal methods : SEFM 2003, Brisbane, Australia, Sept. 22 to 27, 2003 - Dromey, R. G. (IEEE Computer Society, 2003)