Superposition refinement of reactive systems
scientific article; zbMATH DE number 907984