a nice book to refer to Real-Time Embedded Systems, hope can helpful to you