RESPECT-DEM - Reliable Signal Processing Datapaths Design Using Control Techniques Based on Difference Equation Models