Efficient Verification Solutions for Message Passing Systems - Sharma, S; Gopalakrishnan, G (2011)