Sebastián Uchitel Jeff Kramer Jeff Magee Detecting implied scenarios in message sequence chart specifications. 74-82 2001 ESEC / SIGSOFT FSE http://doi.acm.org/10.1145/503209.503220 db/conf/sigsoft/fse2001.html#UchitelKM01