@inproceedings{gri-heu-wal-04-aa-refsig,
  author = {Grimm, Ch. and Heupke, W. and Waldschmidt, K.},
  booktitle = {Proceedings Design, Automation and Test in Europe Conference and Exhibition}, 
  title = {Refinement of mixed-signals systems with affine arithmetic}, 
  year = 2004,
  volume = {1},
  number = {},
  pages = {372-377 Vol.1},
  doi = {10.1109/DATE.2004.1268875},
  comment = {AA for general signal processing and systems control},
  abstract = {This paper describes a framework for the refinement of control and signal processing functions. The design starts with an executable specification, and allowed deviations thereof. Refinement steps introduce models of analog or digital implementations, and augment the 'ideal' behavior with different sources of uncertainty. The framework verifies and analyzes the influence of these uncertainties on system properties using affine arithmetic.}
}