Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures | IEEE Journals & Magazine | IEEE Xplore