Automated Generation of Agent Behaviour from Formal Models of Interaction.