Kwei-Jay Lin, Swaminathan Natarajan: Expressing and Maintaining Timing Constraints in FLEX. RTSS 1988: 96-105