Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3 - Lindsay, Peter (Australian Computer Society Inc, 2001)