@entry{gri-heu-wal-04-aa-refsig, author = {C Grimm and W Heupke...}, title = {Refinement of mixed-signals systems with affine arithmetic}, journal = {... Design, Automation and ...,}, volume = {}, number = {}, pages = {}, year = 2004, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/1268875/?casa_token=AiTuCXA9X5MAAAAA:siY32sdfWJNBOmGGfWFUPo4en5uGJtn1e01yAmpoawvmQBfhBtZncbmzWB2gDdIBcvyjvhQ3}}}, quotes = {... In order to combine affine arithmetic with SystemC, we include the affine library which provides the class AAF, and instanciate signals and ports with this class as template parameter. ...} }