Supplementing process-oriented with structure-oriented design explanation within formal object-oriented method | IEEE Conference Publication | IEEE Xplore