Ewout Martens Georges G. E. Gielen High-level modeling of continuous-time Delta-Sigma A/D-converters using formal models. 51-56 2004 conf/aspdac/2004 ASP-DAC http://doi.acm.org/10.1145/1015090.1015105 db/conf/aspdac/aspdac2004.html#MartensG04