Automatizované plánovanie - Mešťaník, Pavol, 1988- (STU v Bratislave FIIT, 2010)