@misc {IOPORT.71009517,
    author       = {Ferzli, Imad A. and Najm, Farid N. and Kruse, Lars},
    title        = {A geometric approach for early power grid verification using current constraints},
    howpublished = {ICCAD, 40-47 (2007).},
    year         = {2007},
    doi          = {10.1145/1326073.1326083},
    identifier   = {71009517},
}