What Has Been Learned From Applying A Formal Process Model To A Real Process | IEEE Conference Publication | IEEE Xplore