Embedded Systems. : Volume 3, Real-Time Operating Systems for ARM® CortexTM-M Microcontrollers (Jonathan W. Valvano, 2013)