Sjouke Mauw, Michel A. Reniers: High-level message sequence charts. SDL Forum 1997: 291-306