Modelling an industrial software process using a commercially available tool | IEEE Conference Publication | IEEE Xplore