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