External Links

    Journal: Real-Time Systems

    Volume 6, Issue 2

    133 -- 151Ken Tindell, Alan Burns, Andy J. Wellings. An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks
    153 -- 172Krzysztof Sacha. Real-Time Software Specification and Validation with Transnet
    173 -- 205Jozef Hooman. Compositional Verification of a Distributed Real-Time Arbitration Protocol
    207 -- 235Nima Homayoun, Parameswaran Ramanathan. Dynamic Priority Scheduling of Periodic and Aperiodic Tasks in Hard Real-time Systems
    runs on