@misc{misca8256116,
title   = {Rehearsal: a framework for automated testing of choreographies},
author = {Besson, Felipe M and Leal, Pedro M. B and Kon, Fábio},
year = {2012},
publisher = {IME-USP}
}