Graph transformation planning with time and concurrency - Ziegert, Steffen (Verfasser) (Universitätsbibliothek, 2016)