TY - JOUR T1 - A framework for pathologies of message sequence charts JO - Information and Software Technology PY - 2012/01/01 AU - Dan H AU - Hierons RM AU - Counsell S ED - DO - DOI: 10.1016/j.infsof.2012.06.010 PB - Elsevier BV VL - 54 IS - 11 SP - 1283 EP - 1295 Y2 - 2025/04/13 ER -