An approach to software process management based on formal process modeling and analysis | IEEE Conference Publication | IEEE Xplore