Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. - Lori A. Clarke; Yao Chen; George S. Avrunin; Bin Chen 018; Rachel L. Cobleigh; Kim Frederick; Elizabeth A. Henneman; Leon J. Osterweil (ISPW, 2005)

Automatic Fault Tree Derivation from Little-JIL Process Definitions. - Bin Chen 018; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (SPW/ProSim, 2006)

Definition and Analysis of Election Processes. - Mohammad S. Raunak 001; Bin Chen 018; Amr Elssamadisy; Lori A. Clarke; Leon J. Osterweil (SPW/ProSim, 2006)

Engineering Medical Processes to Improve Their Safety. - Leon J. Osterweil; George S. Avrunin; Bin Chen 018; Lori A. Clarke; Rachel L. Cobleigh; Elizabeth A. Henneman; Philip L. Henneman (Situational Method Engineering, 2007)

Rigorously Defining and Analyzing Medical Processes: An Experience Report. - Stefan Christov; Bin Chen 018; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; David Brown; Lucinda Cassells; Wilson Mertens (MoDELS (Workshops), 2007)

Analyzing medical processes. - Bin Chen 018; George S. Avrunin; Elizabeth A. Henneman; Lori A. Clarke; Leon J. Osterweil; Philip L. Henneman (ICSE, 2008)

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. - George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Stefan Christov; Bin Chen 018; Elizabeth A. Henneman; Philip L. Henneman; Lucinda Cassells; Wilson Mertens (IHI, 2010)

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language. - Danhua Wang; Jingui Pan; George S. Avrunin; Lori A. Clarke; Bin Chen 018 (SEKE, 2010)