Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15 - Lindsay, Peter (Australian Computer Society Inc, 2003)