Message sequence charts in the software engineering process / by S. Mauw, M.A. Reniers and T.A.C. Willemse
Message sequence charts in the software engineering process