Caires, L., J. C. Seco, and Hugo T. Vieira Automotive and Finance Case Studies in the Conversation Calculus. Departamento de Informática FCT/UNL, 2007.