Behrmann G, Larsen KG, Pearson J, Weise C, Yi W. Efficient Timed Reachability Analysis using Clock Difference Diagrams. BRICS [Internet]. 17. juni 1998 [henvist 17. juli 2024];5(47). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19492