Modeling and model-based testing of service choreographiesSebastian WieczorekAusverkauftBuch bewachen
