Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3