Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek: Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB 2015: 251-263