Symbolic Abstractions for Periodic Event-triggered Linear Control Systems | IEEE Conference Publication | IEEE Xplore