Imad A. Ferzli Farid N. Najm Lars Kruse Early power grid verification under circuit current uncertainties. 116-121 2007 ISLPED http://doi.acm.org/10.1145/1283780.1283805 conf/islped/2007 db/conf/islped/islped2007.html#FerzliNK07