BITS Darshini: A Modular, Concurrent Protocol Analyzer Workbench. - Prasad Talasila; Mihir Kakrambe; Anurag Rai; Sebastin Santy; Neena Goveas; Bharat M. Deshpande (ICDCN, 2018)