Constraint nets: a semantic model for hybrid dynamic systems
scientific article; zbMATH DE number 985814
scientific article