Randomization Helps in LTL Model Checking. - Lubos Brim; Ivana Cerná; Martin Necesal (PAPM-PROBMIV, 2001)