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.