External Links

    Journal: Real-Time Systems

    Volume 10, Issue 2

    123 -- 142Saurav Chatterjee, Jay K. Strosnider. Quantitative Analysis of Hardware Support for Real-Time Operating Systems
    143 -- 178James Armstrong, Leonor Barroca. Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example
    179 -- 210Marco Spuri, Giorgio C. Buttazzo. Scheduling Aperiodic Tasks in Dynamic Priority Systems
    runs on