Spezifikation und Verifikation eines "Separation of Duty"-Szenarios als verbindliche Telekooperation im Sinne des GleichgewichtsmodellsStefanie FoxEsaurito4,3Avvisami