Chronicles: Formalization of a Temporal Model - Guyet, Thomas; Besnard, Philippe (SpringerBriefs in Computer Science, 2023)