Towards a rigorous object-oriented analysis and design method | IEEE Conference Publication | IEEE Xplore