Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33 - Lindsay, Peter (DL Hosted proceedings, 2003)