Chronicles: Formalization of a Temporal Model (SpringerBriefs in Computer Science) 2023 · ENGLISH · PDF View details →