Konečný automat a jeho použitie na opis správania sa synchrónneho sekvenčného obvodu - HTML aplikácia - Rada, Tomáš, 1986- (STU v Bratislave FIIT, 2008)