Sinfer: Inferring information flow lattices for checking self-stabilization | IEEE Conference Publication | IEEE Xplore