Walter Dosch, Annette Stümpel: Implementing Services by Partial State Machines. SOFSEM 2009: 241-254