Ansatz zur regelbasierten multiskaligen Analyse und Prüfung virtueller Systemmodelle im Kontext der integralen Planung