Manfred Broy A semantic and methodological essence of message sequence charts. 213-256 2005 54 Sci. Comput. Program. 2-3 http://dx.doi.org/10.1016/j.scico.2004.04.003 db/journals/scp/scp54.html#Broy05