Krupp, A., Müller, W., &; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition.https://doi.org/10.1109/DATE.2004.1269214