Optimising the ProB model checker for B using partial order reduction. - Dobrikov, Ivaylo; Leuschel, Michael (Formal Aspects of Computing, 2016)