Taming Dr. Frankenstein: contract-based design for cyber-physical systems
mechanical, electrical, and chemical processes
scientific article; zbMATH DE number 6140027