Páli Gábor; Gilián Zoltán; Horváth Zoltán; Persson Anders: Describing digital signal processing systems in a functional reactive style.