Springer-Verlag, 2005
Vehicle Rajamani R
CPS approach to checking norm operation of a brake-by-wire system