Systematic Message Schedule Construction for Time-Triggered CAN | IEEE Journals & Magazine | IEEE Xplore