Von ADEPT zur AristaFlow® BPM Suite - eine Vision wird Realität: "Correctness by Construction" und flexible, robuste Ausführung von Unternehmensprozessen