Formally correct translation of DSP algorithms specified in an asynchronous applicative language | IEEE Conference Publication | IEEE Xplore