Enabling Security Checking of Automotive ECUs with Formal CSP Models. - John Heneghan; Siraj Ahmed Shaikh; Jeremy W. Bryans; Madeline Cheah; Paul Wooderson (DSN Workshops, 2019)