Barnat, Brim, Ročkai, 2012. On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties 77.. https://doi.org/10.1016/j.scico.2011.03.001