Springer-Verlag, 2005
York New Control
CPS approach to checking norm operation of a brake-by-wire system