Verifying FreeRTOS - a feasibility study (2010)

Work Practices and Challenges in Pull-Based Development [pdf]