Ein Ansatz zur methoden- und werkzeuggestützten Anfroderungs- und Systemspezifikation auf der Grundlage objektorientierter Modellierungs- und Simulationstechniken.