Bill Mitchell Characterizing Communication Channel Deadlocks in Sequence Diagrams. 305-320 2008 34 IEEE Trans. Software Eng. 3 http://doi.ieeecomputersociety.org/10.1109/TSE.2008.28 db/journals/tse/tse34.html#Mitchell08