Kevin A. Kettler Daniel I. Katcher Jay K. Strosnider A modeling methodology for real-time/multimedia operating systems. 15-26 1995 conf/rtas/1995 IEEE Real Time Technology and Applications Symposium http://computer.org/proceedings/rtas/6980/69800015abs.htm db/conf/rtas/rtas1995.html#KettlerKS95