A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,”10.1109/DATE.2004.1269214__presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi:10.1109/DATE.2004.1269214 .