Bibliography | part of Real-Time Systems Design and Analysis | Wiley-IEEE Press books | IEEE Xplore