MPass: An Efficient Tool for the Analysis of Message-Passing Programs. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jonathan Cederberg; Subham Modi; Othmane Rezine; Gaurav Saini (FACS, 2014)