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