Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15