Deian Tabakov, Moshe Y. Vardi: Monitoring temporal SystemC properties. MEMOCODE 2010: 123-132