Neil C. Audsley Andy J. Wellings Analysing APEX applications. 39-44 1996 conf/rtss/1996 IEEE Real-Time Systems Symposium http://computer.org/proceedings/rtss/7689/76890039abs.htm db/conf/rtss/rtss1996.html#AudsleyW96