When logic lays down the law. - Bjørn Jespersen; Ana de Almeida Borges; Jorge del Castillo Tierz; Juan José Conejero Rodríguez; Eric Sancho Adamson; Aleix Solé Sánchez; Nika Pona; Joost J. Joosten (CoRR, 2018)

The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. - Ana de Almeida Borges; Juan José Conejero Rodríguez; David Fernández-Duque; Mireia González Bedmar; Joost J. Joosten (TIME, 2019)

To drive or not to drive: A logical and computational analysis of European transport regulations. - Ana de Almeida Borges; Juan José Conejero Rodríguez; David Fernández-Duque; Mireia González Bedmar; Joost J. Joosten (Inf. Comput., 2021)

FV Time: a formally verified Coq library. - Ana de Almeida Borges; Mireia González Bedmar; Juan José Conejero Rodríguez; Eduardo Hermo Reyes; Joaquim Casals Buñuel; Joost J. Joosten (CoRR, 2022)

UTC Time, Formally Verified. - Ana de Almeida Borges; Mireia González Bedmar; Juan José Conejero Rodríguez; Eduardo Hermo Reyes; Joaquim Casals Buñuel; Joost J. Joosten (CPP, 2024)