Entscheidungen über die Einsetzbarkeit von Software anhand formaler ModelleJürgen PriemerEsaurito4,3Avvisami