VerChor: A Framework for Verifying Choreographies. - Matthias Güdemann; Pascal Poizat; Gwen Salaün; Alexandre Dumont (FASE, 2013)