Knowledge representation, reasoning and integration using temporal logic with clocks
scientific article; zbMATH DE number 5508667