Walt Scacchi Peiwei Mi Experiences in the Modeling, Analysis, and Simulation of Formalized Software Processes. 135-138 1993 conf/ispw/1993 ISPW db/conf/ispw/ispw1993.html#ScacchiM93