Title: Power grid verification
First published: 2006