Kevin A. Kettler, Daniel I. Katcher, Jay K. Strosnider. A modeling methodology for real-time/multimedia operating systems. In 1st IEEE Real-Time Technology and Applications Symposium, May 15-17, 1995, Chicago, Illinois, USA. pages 15-26, IEEE Computer Society, 1995. [doi]
Abstract is missing.