Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised | Synapse