Programový systém podporujúci syntézu asynchrónnych sekvenčných obvodov - Lenz, Roman (STU v Bratislave FIIT, 2007)