Bus Architectures for Safety-Critical Embedded Systems (2001)

by J Rushby
Venue:Springer-Verlag Lecture Notes in Computer Science