Vangalur S. Alagar, Kasilingam Periyasamy: Specification and Verification of Secure Business Transaction Systems. SOFSEM 2002: 240-252