arXiv 2005-02-04 EN EPspectra: A Formal Toolkit for Developing DSP Software Applications Kim, Hahnsang · Turletti, Theirry · Bouali, Amar