Generovanie testov pre asynchrónne sekvenčné digitálne obvody - Dobai, Roland, 1983- (STU v Bratislave FIIT, 2011)