Ésik Zoltán; Gombás Éva; Németh L. Zoltán: Hardver- és szoftverrendszerek verifikációja : egyetemi tananyag. (2011) [Jegyzet, tankönyv]