Indranil Saha, Suman Roy. A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. In 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India. pages 77-81, IEEE Computer Society, 2007. [doi]
Abstract is missing.