% DIVINE: The Parallel & Distributed Model Checker
% Luboš Brim; Jiří Barnat; Tomáš Janoušek; Petr Ročkai