TY - JOUR AU - Lehrstuhl für Computergestützte Analyse technischer Systeme UR - https://publications.rwth-aachen.de/record/223919 ER -