references.bib

@ARTICLE{Lee2014,
	author={Lee, E.A.},
	journal={Access, IEEE},
	title={{Constructive Models of Discrete and Continuous Physical Phenomena}},
	year={2014},
	volume={2},
	pages={797-821},
	month={July},}

@ARTICLE{Trayanova2014, 
	author={Trayanova, N.A.}, 
	journal={Spectrum, IEEE}, 
	title={{Your personal virtual heart}}, 
	year={2014}, 
	month={November}, 
	volume={51}, 
	number={11}, 
	pages={34-59}
}

@Article{zhihao12,
  author = 	 {Zhihao J, Pajic, M. and Mangharam, R.},
  title = 	 {{Cyber Physical Modeling of Implantable Cardiac Medical Devices}},
  journal = 	 {Proceedings of the IEEE},
  year = 	 2012,
  volume = 	 100,
  number = 	 1,
  pages = 	 {122-137}}

@article{alemzadeh13,
  title={{Analysis of safety-critical computer failures in medical devices}},
  author={Alemzadeh, Homa and Iyer, Ravishankar K and Kalbarczyk, Zbigniew and Raman, Jai},
  journal={Security \& Privacy, IEEE},
  volume={11},
  number={4},
  pages={14--26},
  year={2013},
  publisher={IEEE}
}

@article{alur94,
  title={{A theory of timed automata}},
  author={Alur, Rajeev and Dill, David L},
  journal={Theoretical computer science},
  volume={126},
  number={2},
  pages={183--235},
  year={1994},
  publisher={Elsevier}
}

@Article{benveniste03,
  title =	 {{The synchronous languages 12 years later}},
  author =	 {Benveniste, A. and Caspi, P. and Edwards, S.A. and
                  Halbwachs, N. and Le Guernic, P. and de Simone, R.},
  journal =	 {Proceedings of the IEEE},
  year =	 2003,
  month =	 {Jan},
  volume =	 91,
  number =	 1,
  pages =	 {64--83},
  keywords =	 {distributed programming, embedded systems, high
                  level languages Esterel, Lustre, Signal,
                  concurrency, embedded applications, formal methods,
                  modeling, real-time systems, specifying, synchronous
                  languages},
  doi =		 {10.1109/JPROC.2002.805826},
  ISSN =	 {0018-9219},
}

@Misc{scade,
  title =	 {{SCADE Tools}},
  howpublished = {http://www.esterel-technologies.com/},
  note =	 {last accessed - 19.6.15}
}

@Article{wilhelm08wcrt,
  author =	 {Wilhelm,, Reinhard and Engblom,, Jakob and
                  Ermedahl,, Andreas and Holsti,, Niklas and Thesing,,
                  Stephan and Whalley,, David and Bernat,, Guillem and
                  Ferdinand,, Christian and Heckmann,, Reinhold and
                  Mitra,, Tulika and Mueller,, Frank and Puaut,,
                  Isabelle and Puschner,, Peter and Staschulat,, Jan
                  and Stenstr\"{o}m,, Per},
  title =	 {{The worst-case execution-time problem---overview of
                  methods and survey of tools}},
  journal =	 {Trans. on Embedded Computing Sys.},
  volume =	 7,
  number =	 3,
  year =	 2008,
  issn =	 {1539-9087},
  pages =	 {1--53},
  doi =		 {http://doi.acm.org/10.1145/1347375.1347389},
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
}


@Misc{iec61508,
  key = 	 {IEC61508},
  author = 	 {{International Electrotechnical Commission}},
  title = 	 {{IEC 61508 Functional safety of electrical / electronic / programmable electronic safety-related systems}},
  year = 	 2010}


@Misc{iso26262,
  key = 	 {IEC26262},
  author = 	 {{International Electrotechnical Commission}},
  title = 	 {{ISO 26262-1: Road vehicles -- Functional safety}},
  year = 	 2011}


@article{youn2015software,
  title={{Software certification of safety-critical avionic systems: DO-178C and its impacts}},
  author={Youn, Won Keun and Hong, Seung Bum and Oh, Kyung Ryoon and Ahn, Oh Sung},
  journal={Aerospace and Electronic Systems Magazine, IEEE},
  volume={30},
  number={4},
  pages={4--13},
  year={2015},
  publisher={IEEE}
}


@Misc{fda,
  title = 	 {{US Food and Drug Administration (FDA)}},
  howpublished = {http://www.fda.gov},
  note = 	 {last accessed 29/05/2015}}

@inproceedings{lee08cps,
    author = {Edward A. Lee},
    title = {{Cyber Physical Systems: Design Challenges}},
    booktitle = {International Symposium on
              Object/Component/Service-Oriented Real-Time
              Distributed Computing (ISORC)},
    month = {May},
    year = {2008},
    note = {Invited Paper},
    abstract = {Cyber-Physical Systems (CPS) are integrations of
              computation and physical processes. Embedded
              computers and networks monitor and control the
              physical processes, usually with feedback loops
              where physical processes affect computations and
              vice versa. The economic and societal potential of
              such systems is vastly greater than what has been
              realized, and major investments are being made
              worldwide to develop the technology. There are
              considerable challenges, particularly because the
              physical components of such systems introduce
              safety and reliability requirements qualitatively
              different from those in general-purpose computing.
              Moreover, physical components are qualitatively
              different from object-oriented software
              components. Standard abstractions based on method
              calls and threads do not work. This paper examines
              the challenges in designing such systems, and in
              particular raises the question of whether today's
              computing and networking technologies provide an
              adequate foundation for CPS. It concludes that it
              will not be sufficient to improve design
              processes, raise the level of abstraction, or
              verify (formally or otherwise) designs that are
              built on today's abstractions. To realize the full
              potential of CPS, we will have to rebuild
              computing and networking abstractions. These
              abstractions will have to embrace physical
              dynamics and computation in a unified way.},
    URL = {http://chess.eecs.berkeley.edu/pubs/427.html}
}

@article{alur2003generating,
  title={{Generating embedded software from hierarchical hybrid models}},
  author={Alur, Rajeev and Ivancic, Franjo and Kim, Jesung and Lee, Insup and Sokolsky, Oleg},
  journal={ACM SIGPLAN Notices},
  volume={38},
  number={7},
  pages={171--182},
  year={2003},
  publisher={ACM}
}

@inproceedings{kim2003modular,
  title={{Modular code generation from hybrid automata based on data dependency}},
  author={Kim, Jesung and Lee, Insup},
  booktitle={Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. The 9th IEEE},
  pages={160--168},
  year={2003},
  organization={IEEE}
}

@article{patel2015survey,
  title={{A Survey on Emulation Testbeds for Mobile Ad-hoc Networks}},
  author={Patel, K N and Javeri, R H},
  journal={Procedia Computer Science},
  volume={45},
  pages={581--591},
  year={2015},
  publisher={Elsevier}
}

@article{agrawal2004semantic,
  title={{Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations}},
  author={Agrawal, Aditya and Simon, Gyula and Karsai, Gabor},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={109},
  pages={43--56},
  year={2004},
  publisher={Elsevier}
}

@book{ptolemaeus2014system,
  title={{System Design, Modeling, and Simulation: Using Ptolemy II}},
  author={Ptolemaeus, Claudius},
  year={2014},
  publisher={Ptolemy. org}
}

@inproceedings{bourke13zelus,
  title={{Z{\'e}lus: a synchronous language with ODEs}},
  author={Bourke, Timothy and Pouzet, Marc},
  booktitle={Proceedings of the 16th international conference on Hybrid systems: computation and control},
  pages={113--118},
  year={2013},
  organization={ACM}
}

@inproceedings{bourke15code,
  author = {Timothy Bourke
		 and Jean-Louis Cola{\,{c}}o
		 and Bruno Pagano
		 and C{\'{e}}dric Pasteur
		 and Marc Pouzet},
  title = {{A Synchronous-based Code Generator For Explicit Hybrid
		 Systems Languages}},
  booktitle = {24th International Conference on Compiler Construction
		 (CC 2015)},
  year = 2015,
  pages = {to appear},
  address = {London, UK},
  month = apr,
  url = {http://zelus.di.ens.fr/cc2015/paper.pdf},
}

@article{chen14,
  title={{Quantitative verification of implantable cardiac pacemakers over hybrid heart models}},
  author={Chen, Taolue and Diciolla, Marco and Kwiatkowska, Marta and Mereacre, Alexandru},
  journal={Information and Computation},
  volume={236},
  pages={87--101},
  year={2014},
  publisher={Elsevier}
}

@inproceedings{kwiatkowska14,
  title={{Automated Verification of Quantitative Properties of Cardiac Pacemaker Software.}},
  author={Kwiatkowska, Marta Z and Mereacre, Alexandru and Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph},
  booktitle={MCPS},
  pages={137--140},
  year={2014}
}

@inproceedings{yu13,
  title={{Hardware acceleration of biomedical models with OpenCMISS and CellML}},
  author={Yu, Ting and Bradley, Chris and Sinnen, Oliver},
  booktitle={Field-Programmable Technology (FPT), 2013 International Conference on},
  pages={370--373},
  year={2013},
  organization={IEEE}
}

@article{andalam14,
author = {Sidharta Andalam and Partha S Roop and Alain Girault and Claus Traulsen},
title = {{A Predictable Framework for Safety-Critical Embedded Systems}},
journal ={IEEE Transactions on Computers},
volume = {63},
number = {7},
issn = {0018-9340},
year = {2014},
pages = {1600-1612},
doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2013.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@book{smialek15,
  title={{From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice}},
  author={Smialek, Michal and Nowakowski, Wiktor},
  year={2015},
  publisher={Springer}
}

@book{baier08,
 author = {Baier, Christel and Katoen, Joost-Pieter},
 title = {{Principles of Model Checking}},
 year = {2008},
 isbn = { 9780262026499},
 publisher = {The MIT Press},
}


@InBook{raskin05,
  author = 	 {J-F Raskin},
  title = 	 {{Handbook of Networked and Embedded Control Systems}},
  chapter = 	 {An introduction to hybrid automata},
  publisher = 	 {Springer},
  year = 	 2005,
  pages = 	 {491-517}}

@inproceedings{alur93,
 author = {Alur, Rajeev and Courcoubetis, Costas and Henzinger, Thomas A. and Ho, Pei-Hsin},
 title = {{Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems}},
 booktitle = {Hybrid Systems},
 year = {1993},
 isbn = {3-540-57318-6},
 pages = {209--229},
 numpages = {21},
 url = {http://dl.acm.org/citation.cfm?id=646874.709849},
 acmid = {709849},
 publisher = {Springer-Verlag},
 address = {London, UK, UK},
} 

@article {
	YeESG08,
	author	= "Pei Ye and Emilia Entcheva and Scott A. Smolka and Radu Grosu", 
	title	= {{Modelling Excitable Cells Using Cycle-Linear Hybrid Automata}}, 
	journal	= {IET Systems Biology}, 
	year	= 2008, 
	month	= jan, 
	volume	= 2, 
	number	= 1, 
	pages	= "24 - 32"
}

@inproceedings{alur08symbolic,
  title={{Symbolic analysis for improving simulation coverage of Simulink/Stateflow models}},
  author={Alur, Rajeev and Kanade, Aditya and Ramesh, S and Shashidhar, KC},
  booktitle={Proceedings of the 8th ACM international conference on Embedded software},
  pages={89--98},
  year={2008},
  organization={ACM}
}

@article{tripakis05translating,
  title={{Translating discrete-time Simulink to Lustre}},
  author={Tripakis, Stavros and Sofronis, Christos and Caspi, Paul and Curic, Adrian},
  journal={ACM Transactions on Embedded Computing Systems (TECS)},
  volume={4},
  number={4},
  pages={779--818},
  year={2005},
  publisher={ACM}
}

@article{fornari2010understanding,
  title={{Understanding how SCADE suite KCG generates safe C code}},
  author={Fornari, Xavier},
  journal={White paper, Esterel Technologies},
  year={2010}
}


@book{yoong2015model,
  title={{Model-Driven Design Using IEC 61499}},
  author={Yoong, Li Hsien and Roop, Partha S and Bhatti, Zeeshan E and Kuo, Matthew MY},
  year={2015},
  publisher={Springer}
}

@inproceedings{harel:ReactiveSystems,
	AUTHOR = {David Harel and Amir Pnueli},
	title = {{On the Development of Reactive Systems}},
	BOOKtitle = {{Logics and Models of Concurrent Systems}},
	YEAR = 1985,
	RELEVANT = "The following are optional fields:",
	EDITOR = "K.R. Apt",
	SERIES = "NATO ASI Series, Vol. F-13",
	PAGES = {477-498},
	MONTH = "",
	ADDRESS = {La Colle-sur-Loup, France},
	ORGANIZATION = "",
	PUBLISHER = {Springer-Verlag}
}

@inproceedings{ju:PerformanceEsterel,
    AUTHOR = {Lei Ju and Bach Khoa Huynh and Abhik Roychoudhury and Samarjit Chakraborty},
    title = {{Performance Debugging of Esterel Specifications}},
    BOOKtitle = {{IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)}},
    YEAR = 2008,
    PAGES = {173-178},
    MONTH = "October",
    ADDRESS = {Atlanta},
    PUBLISHER = {ACM}
}

@inproceedings{roop:TightWCRT,
  AUTHOR = {Partha S. Roop and Sidharta Andalam and Reinhard von Hanxleden and Simon Yuan and Claus Traulsen},
  title = {{Tight {WCRT} Analysis of Synchronous {C} Programs}},
  BOOKtitle = {{Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems (CASES)}},
  YEAR = {2009},
  PAGES = {205--214},
  MONTH = "October",
  ADDRESS = {Grenoble},
  PUBLISHER = {ACM}
}

@inproceedings {Wang13ILP,
	author = {Jia Jie Wang and Partha S. Roop and Sidharta Andalam},
	title = {{ILPc: A Novel Approach for Scalable Timing Analysis of Synchronous Programs}},
	booktitle = {{International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES)}},
	year = 2013,
	month = Oct,
	location = "Montreal, Canada", 
}

@InProceedings{brooks15,
  author = 	 {Christopher Brooks and Edward A. Lee and David Lorenzetti and Thierry Nouidui and Michael Wetter.},
  title = 	 {{Demo: CyPhySim --- A Cyber-Physical Systems Simulator}},
  booktitle = {18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)},
  year = 2015,
  note = 	 {Presented as a demo at HSCC 2015, Seattle}}

@inproceedings{berry2000foundations,
  title={{The foundations of Esterel.}},
  author={Berry, G{\'e}rard},
  booktitle={Proof, language, and interaction},
  pages={425--454},
  year={2000}
}

@article{halbwachs1991synchronous,
  title={{The synchronous data flow programming language LUSTRE}},
  author={Halbwachs, Nicholas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
  journal={Proceedings of the IEEE},
  volume={79},
  number={9},
  pages={1305--1320},
  year={1991},
  publisher={IEEE}
}

@article{leguernic1991programming,
  title={{Programming real-time applications with SIGNAL}},
  author={LeGuernic, Paul and Gautier, Thierry and Le Borgne, Michel and Le Maire, Claude},
  journal={Proceedings of the IEEE},
  volume={79},
  number={9},
  pages={1321--1336},
  year={1991},
  publisher={IEEE}
}

@book{alur2015book,
	author = {Rajeev Alur},
	title = {{Principles of Cyber-Physical Systems}},
	year = {April 2015},
	publisher = {MIT press},
	isbn = {9780262029117 },
	pages = {464}
}

@incollection{platzer2012logical,
	title={{Logical analysis of hybrid systems}},
	author={Platzer, Andr{\'e}},
	booktitle={Descriptional Complexity of Formal Systems},
	pages={43--49},
	year={2012},
	publisher={Springer}
}
@misc{lygeros2008hybrid,
	title={{Hybrid Systems: Modeling, Analysis and Control}},
	author={Lygeros, John and Tomlin, Claire and Sastry, Shankar},
	Howpublished = {University of California, Berkeley,
	 Course EE291e. http://inst.cs.berkeley.edu/\symbol{126}ee291e/sp09/handouts/book.pdf},
	year={2009}
}
@misc{Pedro2005,
	Author = {Joao Pedro, Hespanha},
	Howpublished = {University of California at Santa Barbara, Course ECE229, Lecture 2. 
	http://www.ece.ucsb.edu/\symbol{126}hespanha/ece229/Lectures/ Lecture2.pdf},
	Year = {2005},
	Title = {{How to describe a hybrid system? Formal models for hybrid system}}
}
@misc{Costello2013,
	Author = {Brennon, Costello and Joshua, Elliott},
	Howpublished = {Tufts University, Course EE194, Lecture.
	http://www.eecs.tufts.edu/\symbol{126}khan/Courses/Spring2013/EE194/ Lecs/ Hybrid{\_} Systems\_Presentation\_Elliott\_Costello.pdf },
	Year = {2013},
	Title = {{Hybrid Systems}}
}
@Misc{githubBenchmarks,
	title =	 {{Piha Benchmarks}},
	howpublished = {https://github.com/PRETgroup/ PihaBenchmarks},
	note =	 {last accessed - 15.08.2015}
}

@Book{ogata10,
  author = 	 {K Ogata},
  title = 	 {Modern control engineering},
  publisher = 	 {Boston : Prentice-Hall},
  year = 	 2010}

@article{lynch03,
  title={{Hybrid I/O automata}},
  author={Lynch, Nancy and Segala, Roberto and Vaandrager, Frits},
  journal={Information and computation},
  volume={185},
  number={1},
  pages={105--157},
  year={2003},
  publisher={Elsevier}
}
@article{carlsson2012methods,
  title={{Methods for reliable simulation-based PLC code verification}},
  author={Carlsson, Henrik and Svensson, Bo and Danielsson, Fredrik and Lennartson, Bengt},
  journal={Industrial Informatics, IEEE Transactions on},
  volume={8},
  number={2},
  pages={267--278},
  year={2012},
  publisher={IEEE}
}
@INPROCEEDINGS{Bresolin2011,
	author={Bresolin, D. and Di Guglielmo, L. and Geretti, L. and Villa, T.},
	booktitle={International Wireless Communications and Mobile Computing Conference (IWCMC)},
	title={{Correct-by-construction code generation from hybrid automata specification}},
	year={2011},
	month={July},
	pages={1660-1665}
}
@book{rudin1987real,
  title={{Real and complex analysis}},
  author={Rudin, Walter},
  year={1987},
  publisher={Tata McGraw-Hill Education}
}
@inproceedings{SpaceEx,
	title = {{SpaceEx: Scalable Verification of Hybrid Systems}},
	author = {Frehse, Goran and Le Guernic, Colas and Donz\'e, Alexandre and Cotton, Scott and Ray, Rajarshi and Lebeltel, Olivier and Ripado, Rodolfo and Girard, Antoine and Dang, Thao and Maler, Oded},
	editor = {Ganesh Gopalakrishnan, Shaz Qadeer},
	booktitle = { International Conference on Computer Aided Verification (CAV)},
	publisher = {Springer},
	series = {LNCS},
	team = {TEMPO},
	year = {2011}
}
@ARTICLE{SlLanguage, 
	author={Boussinot, F. and de Simone, R.}, 
	journal={Software Engineering, IEEE Transactions on}, 
	title={{The SL synchronous language}}, 
	year={1996}, 
	volume={22}, 
	number={4}, 
	pages={256-266}, 
	keywords={computational linguistics;grammars;parallel languages;parallel programming;program compilers;rewriting systems;specification languages;SL synchronous language;automata;direct program execution;programming language;rewrite rules;signal absence;signal presence;structural operational semantics;symbolic evaluation;synchronous reactive languages;weak preemption;Automata;Computer languages;Concurrent computing;Delay;Equations;Program processors;Protocols;Radio control;Resumes;TV broadcasting}, 
	doi={10.1109/32.491649}, 
	ISSN={0098-5589}, 
	month={Apr}
}

@Misc{DATEBenchmarks,
	title =	 {{DATE 2016 Benchmarks}},
	howpublished = {https://github.com/PRETgroup/PihaBenchmarks},
	note =	 {last accessed - 18.09.2015}
}