Time Optimal Synchronous Self Stabilizing Spanning Tree. - Alex Kravchik; Shay Kutten (DISC, 2013)