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