Scheduling Strategies for Event-Triggered Control Using Timed Game Automata Over CAN Networks