Going with the Flow: Parameterized Verification Using Message Flows. - Murali Talupur; Mark R. Tuttle (FMCAD, 2008)

Extracting models from design documents with mapster. - David James; Tim Leonard; John W. O'Leary; Murali Talupur; Mark R. Tuttle (PODC, 2008)

Protocol verification using flows: An industrial experience. - John W. O'Leary; Murali Talupur; Mark R. Tuttle (FMCAD, 2009)

Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. - Murali Talupur; Sandip Ray; John Erickson (FMCAD, 2015)