Mechanically supported design of self-stabilizing algorithms door I.S.W.B. Prasetya