2 books
Understanding and Using the Controller Area Network Communication Protocol
A Hierarchical Coordination Language for Reliable Real-Time Tasks.