Describir: Automatizovanie tvorby LPO z časových diagramov