Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL - Maron, Ľubomír, 1988- (STU v Bratislave FIIT, 2013)