[VDM19] Interaction Protocols: It's all about good manners by Martin Thompson