Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3 - Lindsay, Peter (DL Hosted proceedings, 2001)