Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment. - Wiktor B. Daszczuk; Maciej Bielecki; Jan Michalski (CoRR, 2017)