Towards a logic model for object-oriented systems analysis and design | IEEE Conference Publication | IEEE Xplore