A Hierarchy of Communication Models for Message Sequence Charts. - André Engels; Sjouke Mauw; Michel A. Reniers (FORTE, 1997)

Test Generation for Intelligent Networks Using Model Checking. - André Engels; Loe M. G. Feijs; Sjouke Mauw (TACAS, 1997)

MSC and data: dynamic variables. - André Engels; Loe M. G. Feijs; Sjouke Mauw (SDL Forum, 1999)

Design Decisions on Data and Guards in MSC2000. - André Engels (SAM, 2000)