Automatic generation of power state machines through dynamic mining of temporal assertions. - Alessandro Danese; Graziano Pravadelli; Ivan Zandona (DATE, 2016)