@misc(SystemCAMSimplementation,
 title        = {SystemC AMS Proof-of-Concept Download},
 howpublished = {\url{http://www.coseda-tech.com/systemc-ams-proof-of-concept}},
 note         = {Accessed: 2017-03-21},
)
@inproceedings(Althoff2011,
 author       = {Matthias Althoff and Akshay Rajhans and Bruce H. Krogh and Soner Yaldiz and Xin Li and Larry Pileggi},
 year         = {2011},
 title        = {{Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization}},
 booktitle    = {{{IEEE}/{ACM} International Conference on Computer Aided Design (ICCAD)}},
 pages        = {659--666},
 doi          = {10.1145/2507771.2507783},
)
@article(Alur1995,
 author       = {R. Alur and C. Coucoubetis and T.A. Henzinger and P.-H. Ho and X. Nicollin and A. Olivero and J. Sifakis and S. Yovine},
 year         = {1995},
 title        = {{The algorithmic analysis of hybrid systems}},
 journal      = {Theoretical Computer Science},
 volume       = {138},
 pages        = {3--34},
 doi          = {10.1016/0304-3975(94)00202-T},
)
@incollection(Saswat2008,
 author       = {Saswat Anand and Patrice Godefroid and Nikolai Tillmann},
 year         = {2008},
 title        = {Demand-Driven Compositional Symbolic Execution},
 editor       = {C.R. Ramakrishnan and Jakob Rehof},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 volume       = {LNCS 4963},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {367--381},
 doi          = {10.1007/978-3-540-78800-3_28},
)
@inproceedings(Barke2016,
 author       = {Erich Barke and Andreas F\"urtig and Georg Gl\"aser and Christoph Grimm and Lars Hedrich and Stefan Heinen and Eckhard Hennig and Hyan-Sek Lukas Lee and Wolfgang Nebel and Gregor Nitsche and Markus Olbrich and Carna Radojicic and Fabian Speicher},
 year         = {2016},
 title        = {{Embedded Tutorial: Analog-/Mixed-Signal Verification Methods for AMS Coverage Analysis}},
 booktitle    = {Design, Automation \& Test in Europe Conference \& Exhibition (DATE'16)},
 pages        = {1102--1111},
 doi          = {10.3850/9783981537079_1010},
)
@book(Barnasconi2013a,
 editor       = {Martin Barnasconi and Karsten Einwich and Christoph Grimm and Alain Vachoux},
 year         = {2013},
 title        = {{Standard SystemC{\textregistered} AMS extensions 2.0 Language Reference Manua}},
 publisher    = {OSCI},
 url          = {http://accellera.org},
)
@article(Bryant1986,
 author       = {Randal E. Bryant},
 year         = {1986},
 title        = {{Graph-based algorithms for Boolean function manipulation}},
 journal      = {IEEE Transactions on Computers},
 volume       = {C-35},
 number       = {8},
 pages        = {677--691},
 doi          = {10.1109/TC.1986.1676819},
)
@inproceedings(Damm2006,
 author       = {Werner Damm and Stefan Disch and Hardi Hungar and Jun Pang and Florian Pigorsch and Christoph Scholl and Uwe Waldmann and Boris Wirtz},
 year         = {2006},
 title        = {Automatic Verification of Hybrid Systems with Large Discrete State Space},
 booktitle    = {Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006},
 pages        = {276--291},
 doi          = {10.1007/11901914_22},
)
@inproceedings(Fang2002b,
 author       = {Fang Fang and Tsuhan Chen and Rob. A. Rutenbar},
 year         = {2002},
 title        = {{{F}loating-{P}oint {B}it-{W}idth {O}ptimization for {L}ow-{P}ower {S}ignal {P}rocessing {A}pplications}},
 booktitle    = {{IEEE International Conference on Acoustic, Speech and Signal Processing}},
 volume       = {3},
 pages        = {3208--3211},
 doi          = {10.1109/ICASSP.2002.5745332},
)
@article(Figueiredo2004,
 author       = {Luiz Henrique De Figueiredo and Jorge Stolfi},
 year         = {2004},
 title        = {{Affine {A}rithmetic: {C}oncepts and {A}pplications}},
 journal      = {Numerical Algorithms},
 volume       = {37},
 number       = {1-4},
 pages        = {147--158},
 doi          = {10.1023/B:NUMA.0000049462.70970.b6},
)
@inbook(Girard2005,
 author       = {Antoine Girard},
 year         = {Springer, 2005},
 title        = {Hybrid Systems: Computation and Control},
 chapter      = {{Reachibility of Uncertain Linear Systems Using Zonotopes}},
 pages        = {291--305},
 volume       = {LNCS 3414},
 doi          = {10.1007/978-3-540-31954-2_19},
)
@article(Grimm2005,
 author       = {Christoph Grimm and Wilhelm Heupke and Klaus Waldschmidt},
 year         = {2005},
 title        = {{Analysis of mixed-signal systems with affine arithmetic}},
 journal      = {Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on},
 volume       = {24},
 number       = {1},
 pages        = {118--123},
 doi          = {10.1109/TCAD.2004.839469(410) 24},
)
@inproceedings(Grimm2017,
 author       = {Christoph Grimm and Michael Rathmair},
 year         = {2017},
 title        = {{Invited: Dealing with Uncertainties in Analog/Mixed-Signal Systems}},
 booktitle    = {Proceedings of the 54th Design Automation a Conference, 2017},
 pages        = {1--6},
)
@book(Jantsch2003,
 author       = {Axel Jantsch},
 year         = {2003},
 title        = {Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation},
 publisher    = {Morgan Kaufmann Publishers Inc.},
 address      = {San Francisco, CA, USA},
)
@article(Jantsch2005A,
 author       = {Axel Jantsch and Ingo Sander},
 year         = {2005},
 title        = {{Models of computation and languages for embedded system design}},
 journal      = {Computers and Digital Techniques, IEE Proceedings -},
 volume       = {152},
 number       = {2},
 pages        = {114--129},
 doi          = {10.1049/ip-cdt:20045098},
)
@techreport(Jeon2012,
 author       = {Jinseong Jeon and K. Micinski, Kristopher and Jeffrey S. Foster},
 year         = {2012},
 title        = {{SymDroid: Symbolic Execution for Dalvik Bytecode}},
 type         = {Technical Report},
 number       = {CS-TR-5022},
 institution  = {{Department of Computer Science, University of Maryland, College Park}},
)
@inproceedings(Kahn1974,
 author       = {Gilles Kahn},
 year         = {1974},
 title        = {The semantics of simple language for parallel programming},
 booktitle    = {Proceedings IFIP74},
 publisher    = {North-Holland, Amsterdam},
 pages        = {471–475},
)
@inbook(LeGuernic2009,
 author       = {Le Guernic, Colas and Antoine Girard},
 year         = {2009},
 title        = {Reachability Analysis of Hybrid Systems Using Support Functions},
 pages        = {540--554},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-02658-4_40},
)
@article(Lee2006,
 author       = {E. A. Lee and Sangiovanni-Vincentelli, A.},
 year         = {2006},
 title        = {A Framework for Comparing Models of Computation},
 journal      = {Trans. Comp.-Aided Des. Integ. Cir. Sys.},
 volume       = {17},
 number       = {12},
 pages        = {1217--1229},
 doi          = {10.1109/43.736561},
)
@inproceedings(Lee08,
 author       = {E.A. Lee},
 year         = {2008},
 title        = {{Cyber Physical Systems: Design Challenges}},
 booktitle    = {{Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on}},
 pages        = {363--369},
 doi          = {10.1109/ISORC.2008.25},
)
@inproceedings(Olbrich2008,
 author       = {Markus Olbrich and Erich Barke},
 year         = {2008},
 title        = {Distribution Arithmetic for Stochastical Analysis},
 booktitle    = {Proceedings of the 2008 Asia and South Pacific Design Automation Conference},
 series       = {ASP-DAC '08},
 publisher    = {IEEE Computer Society Press},
 address      = {Los Alamitos, CA, USA},
 pages        = {537--542},
 doi          = {10.1109/ASPDAC.2008.4484009},
 url          = {http://dl.acm.org/citation.cfm?id=1356802.1356932},
)
@book(Putot2013,
 author       = {Sylvie Putot},
 year         = {2013},
 title        = {Lecture Notes, Digicosme Spring school 2013: Static Analysis of Numerical Programs and Systems},
 publisher    = {MEASI Laboratory, CEA LIST},
)
@inproceedings(Radojicic2016,
 author       = {Carna Radojicic and Christoph Grimm},
 year         = {2016},
 title        = {{Formal Verification of Mixed-Signal Designs Using Extended Affine Arithmetic}},
 booktitle    = {12th Conference on PhD Research in Microelectronics and Electronics},
 doi          = {10.1109/PRIME.2016.7519482},
)
@article(Radojicic2013,
 author       = {Carna Radojicic and Christoph Grimm and Florian Schupfer and Michael Rathmair},
 year         = {2013},
 title        = {Verification of Mixed-Signal Systems with Affine Arithmetic Assertions},
 journal      = {{VLSI} Design},
 volume       = {2013},
 doi          = {10.1155/2013/239064},
)
@inproceedings(Vachoux2005,
 author       = {Alain Vachoux and Karsten Einwich and Christoph Grimm},
 year         = {2005},
 title        = {{Extending SystemC to support mixed discrete-continuous system modeling and simulation}},
 booktitle    = {International Symposion on Circuits and Systems 2005 (ISCAS '05)},
 publisher    = {IEEE},
 doi          = {10.1109/ISCAS.2005.1465798},
)
@article(Walker2003A,
 author       = {Warren E Walker and Poul Harremo{\"e}s and Jan Rotmans and Jeroen P van der Sluijs and Marjolein BA van Asselt and Peter Janssen and {Krayer von Krauss}, Martin P},
 year         = {2003},
 title        = {{Defining uncertainty: a conceptual basis for uncertainty management in model-based decision support}},
 journal      = {Integrated assessment},
 volume       = {4},
 number       = {1},
 pages        = {5--17},
 doi          = {10.1076/iaij.4.1.5.16466},
)