Hardware for Real-Time Systems | part of Real-Time Systems Design and Analysis: Tools for the Practitioner | Wiley-IEEE Press books | IEEE Xplore