Automatizovanie tvorby LPO z časových diagramov - Zboroň, Matej (2015)