Manfred Broy Message Sequence Charts in the Development Process - Role and Limitations. 2002 conf/etaps/2002viss VISS@ETAPS https://doi.org/10.1016/S1571-0661(04)80482-1 db/conf/etaps/viss2002.html#Broy02 18-33