BizTalk Server 2000 Business Process Orchestration. - Bimal Metha; Marc Levy; Greg Meredith; Tony Andrews; Brian Beckman; Johannes Klein; Amit Mital (IEEE Data Eng. Bull., 2001)

Zing: A Model Checker for Concurrent Software. - Tony Andrews; Shaz Qadeer; Sriram K. Rajamani; Jakob Rehof; Yichen Xie 001 (CAV, 2004)

Zing: Exploiting Program Structure for Model Checking Concurrent Software. - Tony Andrews; Shaz Qadeer; Sriram K. Rajamani; Yichen Xie 001 (CONCUR, 2004)