Modular verification of higher-order methods with mandatory calls specified by model programs. - Steve M. Shaner; Gary T. Leavens; David A. Naumann (OOPSLA, 2007)

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. - Hridesh Rajan; Jia Tao 001; Steve M. Shaner; Gary T. Leavens (ESOP, 2009)