Symbolic abstractions for the scheduling of event-triggered control systems | IEEE Conference Publication | IEEE Xplore