A dynamic logic model for the formal foundation of object-oriented analysis and design | IEEE Conference Publication | IEEE Xplore