Blaise Genest Anca Muscholl Message Sequence Charts: A Survey. 2-4 2005 conf/acsd/2005 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.25 db/conf/acsd/acsd2005.html#GenestM05