MicroC/OS-II : the real-time kernel - Labrosse, Jean J. (CMP Books, 2002)