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