A Modular Approach to Real-Time Supersystems. - Robert G. Arnold; Robert O. Berg; James W. Thomas (IEEE Trans. Computers, 1982)