@entry{rad-gri-mor-pan-14-aa-symdisc, author = {C Radojicic and C Grimm and J Moreno...}, title = {Semi-symbolic analysis of mixed-signal systems including discontinuities}, journal = {2014 Design, Automation ...,}, volume = {}, number = {}, pages = {}, year = 2014, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/6800230/?casa_token=QkeZJ77xkgYAAAAA:f4iSjgHbo97J1YlUODj7aXVgClCLLzkx5MYbRX6GWI50uMd3vjP0y8bt8LGEYynK6a0bQ_AX}}}, quotes = {... A less formal approach is semi-symbolic simulation [8] based on Affine Arithmetic [9]) that we use in this work. For simulation we use (symbolic) affine expressions instead of real values. ...} }