Software process description using LOTOS and its enaction | IEEE Conference Publication | IEEE Xplore