Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47