External Links

    Journal: Real-Time Systems

    Volume 4, Issue 1

    5 -- 35Jonathan S. Ostroff. A Verifier for Real-Time Properties
    37 -- 53C. Douglas Locke. Software Architecture for Hard Real-Time Applications: Cyclic Executives vs. Fixed Priority Executives
    55 -- 83Harold W. Lawson. Cy-Clone: An Approach to the Engineering of Resource Adequate Cyclic Real-Time Systems
    85 -- 87C. Mani Krishna, Yann-Hang Lee. Workshop Report: 1991 Workshop on Architectural Aspects of Real-Time Systems, San Antonio, Texas, U. S. A.
    runs on