@misc{misceded8610,
title   = {Towards verification and validation of choreographies},
author = {Besson, Felipe M. and Leal, Pedro M. B. and Kon, Fábio},
year = {2011},
publisher = {IME-USP}
}