Towards Certified Model Checking for PLTL Using One-Pass Tableaux | Publicación