Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design | IEEE Journals & Magazine | IEEE Xplore