Add link to "From Communicating Machines to Graphical Choreographies"