Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.”10.1109/DATE.2004.1269214__Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.