SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems | IEEE Journals & Magazine | IEEE Xplore