leaderelection_inductive_withNegB2.spec 1.13 KB