Symbolic Models for Networks of Control Systems | IEEE Journals & Magazine | IEEE Xplore