Fault-tolerant concurrent branch and bound algorithms derived from program verification. - Hanan Lutfiyya; Aggie Y. Sun; Bruce M. McMillin (COMPSAC, 1992)

Wheels: An Automated Program Analysis Tool. - Aggie Y. Sun; Bruce M. McMillin (SEKE, 1996)