Bounded model checking distributed temporal logic. - Augusto Peres; Jaime Ramos; Francisco Dionísio (J. Log. Comput., 2023)