Structural and behavioral decomposition in object oriented models | IEEE Conference Publication | IEEE Xplore