Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
scientific article; zbMATH DE number 6068264