Roni Wiener Gila Kamhi Moshe Y. Vardi Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. 52-61 2008 PATMOS http://dx.doi.org/10.1007/978-3-540-95948-9_6 conf/patmos/2008 db/conf/patmos/patmos2008.html#WienerKV08