Proving properties of continuous systems: Qualitative simulation and temporal logic
scientific article; zbMATH DE number 1972321