[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Towards a well-founded UML-based development method