Validierung des Zulassungsflusses: Eine erste anwendungsorientierte Anwendung der PFL-X-symbolischen Sprache | Synapse