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)

User guidance for creating precise and accessible property specifications. - Rachel L. Cobleigh; George S. Avrunin; Lori A. Clarke (SIGSOFT FSE, 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)