C. Senft

A computer-aided design environment for distributed realtime systems

C. Senft, 1988, [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools.

A graphical design environment for distributed real-time systems

C. Senft, R. Zainlinger, R. Zainlinger, 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

The Contractual Approach in the Mars Design Environment

C. Senft, 1988 .