On formalizing software process description: Consortium's example | IEEE Conference Publication | IEEE Xplore