Interval-Based Timing Constraints Their Satisfactions and Applications
scientific article; zbMATH DE number 6805694