Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69 - Cant, Tony (Australian Computer Society Inc, 2007)