Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33 - Lindsay, Peter (Australian Computer Society Inc, 2003)