Luis Llana, María-Emilia Cambronero, Gregorio Díaz: The Simulation Relation for Formal E-Contracts. SOFSEM 2016: 490-502