Ferreira JF, Gherghina C, He G, Qin S, Chin W-N.? 2014.??Automated verification of the FreeRTOS scheduler in HIP/SLEEK. International Journal on Software Tools for Technology Transfer. 16(4):381-397.