Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems | IEEE Journals & Magazine | IEEE Xplore