Failure Estimation of Behavioral Specifications. - Debasmita Lohar; Anudeep Dunaboyina; Dibyendu Das 002; Soumyajit Dey (SETTA, 2016)