A Symbolic Approach to the Self-Triggered Design for Networked Control Systems | IEEE Journals & Magazine | IEEE Xplore