@ARTICLE {33247,
author={A.  Peres and J. Ramos and F. Dionísio},
doi={10.1093/logcom/exac042},
journal={Journal of Logic and Computation},
title={Bounded model checking distributed temporal logic},
year={2023},
month={July},
volume={33},
number={5},
pages={1022-1059},
ISSN={0955-792X}
}