GARTL: A Real-time Programming Language Based on Multi-version Computation. - Chris D. Marlin; Wei Zhao 001; Graeme Doherty; Andrew Bohonis (ICCL, 1990)