Embedded Systems OS. Reference Materials The Concise Handbook of Real- Time Systems TimeSys Corporation.