Refinement of trace abstraction for real-time programs
scientific article; zbMATH DE number 6820343