Conflict-tolerant specifications in temporal logic. - Sumesh Divakaran; Deepak D'Souza; Raj Mohan Matteplackel (ISEC, 2010)

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. - Sumesh Divakaran; Deepak D'Souza; M. Raj Mohan (TIME, 2010)

Efficient Refinement Checking in VCC. - Sumesh Divakaran; Deepak D'Souza; Nigamanth Sridhar (VSTTE, 2014)

Refinement-Based Verification of the FreeRTOS Scheduler in VCC. - Sumesh Divakaran; Deepak D'Souza; Anirudh Kushwah; Prahladavaradan Sampath; Nigamanth Sridhar; Jim Woodcock 001 (ICFEM, 2015)