CPS approach to checking norm operation of a brake-by-wire system
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems - ICCPS ’15
Taejoon Park
Kang G. Shin