Programový systém podporujúci syntézu asynchrónnych sekvenčných obvodov - Kudlačák, František, 1990- (STU v Bratislave FIIT, 2011)