Process modeling for object oriented analysis using BORM Object Behavioral Analysis | IEEE Conference Publication | IEEE Xplore