Selma Suloglu, Riza Aktunc, Mustafa Yucefaydali: Verification of variable service orchestrations using model checking. QASBA@ISSTA 2013: 5-8