Dongol, B.; Hayes, I. Approximating Idealised Real-Time Specifications Using Time Bands. eceasst 2011, 46.