David Kendall Steven Bradley William Henderson Adrian Robson bCANDLE: Formal Modelling and Analysis of CAN Control Systems. 171- 1998 IEEE Real Time Technology and Applications Symposium http://dlib.computer.org/conferen/rtas/8569/pdf/85690171.pdf db/conf/rtas/rtas1998.html#KendallBHR98