Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55 - Cant, Tony (Australian Computer Society Inc, 2006)