Thomas Guyet, Philippe Besnard: Chronicles: Formalization of a Temporal Model. Springer Briefs in Computer Science, Springer 2023, ISBN 978-3-031-33692-8, pp. 1-90