Entscheidungen über die Einsetzbarkeit von Software anhand formaler ModelleJürgen PriemerSold out4.3Track