2013 23rd International Workshop on Power and Timing Modeling, Optimizations and Simulation (PATMOS 2013) Piscataway, NJ : IEEE, 2013 (2013), Seite 51-59 VIII, 268 S.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Rostock : Univ., ITMZ, 2013 (2013), Seite 131-140 [10], 284 S.