Parallel SAT-Based Parameterised Three-Valued Model Checking. - Nils Timm; Stefan Gruner; Prince Sibanda (SPIN, 2015)

Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. - Nils Timm; Stefan Gruner; Prince Sibanda (FSEN, 2017)