"Efficient RC power grid verification using node elimination."

Ankit Goyal, Farid N. Najm (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics