Cliff Jones

Mirrormaze

The Living History Anthology

Symposium on Real-Time and Hybrid Systems

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Winning Through Integrity