Caires, Luis and Tavares Sousa, David and Torres Vieira, Hugo   Checking for choreography conformance using spatial logic model-checking.  Technical Report  #03/2007    Departamento de Informática - Universidade nova de Lisboa       (Unpublished)