https://1library.net/document/yd8dg7gq-abstraction-technique-parameterized-checking-leader-election-protocols-application.html