On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties - Barnat, Jiří; Brim, Luboš; Ročkai, Petr (Science of Computer Programming, 2012)