"Applying a Dependency Mechanism for Voting Protocol Models Using Event-B."

J. Paul Gibson, Souad Kherroubi, Dominique Méry (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics