The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms. - Emilio Jesús Gallego Arias; Pierre Jouvelot; Sylvain Ribstein; Dorian Desblancs (FARM@ICFP, 2021)