Dongol, B. and Hayes, I. (2011) “Approximating Idealised Real-Time Specifications Using Time Bands”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.684.