Farn Wang Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. 38-51 2005 31 IEEE Trans. Software Eng. 1 http://dx.doi.org/10.1109/TSE.2005.13 db/journals/tse/tse31.html#Wang05