Real-time embedded systems - Wang, Jiacun 1963- (Wiley, 2017)