Comparison of sequence diagram from execution against design-time state specification. - M. Mithun; Swaminathan Jayaraman (ICACCI, 2017)