Caires, Luis and Costa Seco, João and Torres Vieira, Hugo Automotive and finance case studies in the conversation calculus. Technical Report #04/2007 Departamento de Informática - Universidade nova de Lisboa (Unpublished)