Email Record: Development and implementation of a model-driven envelope protection system for in-flight ice contamination /