Konštrukcia Buchiho automatov z formúl logiky LTL - Plevko, Ján, 1987- (STU v Bratislave FEI, 2011)