Formal Refinement and Model Checking of an Echo Cancellation Unit. - Krupp, Alexander; Müller, Wolfgang; Oliver, Ian (2004)