Proceedings of the twelfth Australian workshop on Safety critical systems and software and safety-related programmable systems - Volume 86 - Cant