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)