Correctness of vehicle control systems – a case study (1996)

by H B Weinberg, N Lynch
Venue:In 17th IEEE Real-Time Systems Symposium