@misc(litLEON4FT,
 title        = {GR-CPCI-LEON4-N2X: Quad-Core LEON4 Next Generation Microprocessor Evaluation Board, http://www.gaisler.com/index.php/products/boards/gr-cpci-leon4-n2x},
)
@inproceedings(litRTBIP,
 author       = {T. Abdellatif and J. Combaz and J. Sifakis},
 year         = {2010},
 title        = {Model-based implementation of real-time applications},
 booktitle    = {EMSOFT '10},
 pages        = {229--238},
 doi          = {10.1145/1879021.1879052},
)
@article(BRAU20181,
 author       = {G. Brau and J. Hugues and N. Navet},
 year         = {2018},
 title        = {Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems},
 journal      = {Science of Computer Programming},
 volume       = {156},
 pages        = {1 -- 20},
 doi          = {10.1016/j.scico.2017.12.007},
)
@article(1173203,
 author       = {J. Eker and J. W. Janneck and E. A. Lee and Jie Liu and Xiaojun Liu and J. Ludvig and S. Neuendorffer and S. Sachs and Yuhong Xiong},
 year         = {2003},
 title        = {Taming heterogeneity - the Ptolemy approach},
 journal      = {Proceedings of the IEEE},
 volume       = {91},
 number       = {1},
 pages        = {127--144},
 doi          = {10.1109/JPROC.2002.805829},
)
@techreport(litAADL,
 author       = {P. Feiler and D. Gluch and J. Hudak},
 year         = {2006},
 title        = {The Architecture Analysis \& Design Language (AADL): An Introduction},
 type         = {Technical Report},
 number       = {CMU/SEI-2006-TN-011},
 institution  = {Software Engineering Institute, Carnegie Mellon University},
 address      = {Pittsburgh, PA},
 url          = {http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=7879},
)
@inproceedings(SEFM17,
 author       = {F. Gioulekas and P. Poplavko and R. Kahil and P. Katsaros and M. Bozga and S. Bensalem and P. Palomo},
 year         = {2017},
 title        = {Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)},
 booktitle    = {Software Engineering and Formal Methods - 15th International Conference, {SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
 pages        = {401--407},
 doi          = {10.1007/978-3-319-66197-1_28},
)
@inproceedings(FASE-18,
 author       = {F. Gioulekas and P. Poplavko and P. Katsaros and S. Bensalem and P. Palomo},
 year         = {2018},
 title        = {A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism},
 editor       = {Alessandra Russo and Andy Sch{\"u}rr},
 booktitle    = {Fundamental Approaches to Software Engineering},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {94--110},
 doi          = {10.1007/978-3-319-89363-1_6},
)
@article(Ha:2008,
 author       = {S. Ha and S. Kim and C. Lee and Y. Yi and S. Kwon and Y. Joo},
 year         = {2008},
 title        = {PeaCE: A Hardware-software Codesign Environment for Multimedia Embedded Systems},
 journal      = {ACM Trans. Des. Autom. Electron. Syst.},
 volume       = {12},
 number       = {3},
 pages        = {24:1--24:25},
 doi          = {10.1145/1255456.1255461},
)
@book(Halbwachs:2010,
 author       = {N. Halbwachs},
 year         = {2010},
 title        = {Synchronous Programming of Reactive Systems},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
)
@inproceedings(Hal99,
 author       = {N. Halbwachs and P. Raymond},
 year         = {1999},
 title        = {Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing},
 booktitle    = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
 pages        = {1--12},
 doi          = {10.1007/3-540-46674-6_1},
)
@article(Hugues:2008,
 author       = {J. Hugues and B. Zalila and L. Pautet and F. Kordon},
 year         = {2008},
 title        = {From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite},
 journal      = {ACM Trans. Embed. Comput. Syst.},
 volume       = {7},
 number       = {4},
 pages        = {42:1--42:25},
 doi          = {10.1145/1376804.1376810},
)
@inproceedings(6864027,
 author       = {A. Kanduri and A. M. Rahmani and P. Liljeberg and K. Wan and K. L. Man and J. Plosila},
 year         = {2013},
 title        = {A multicore approach to model-based analysis and design of Cyber-Physical Systems},
 booktitle    = {2013 International SoC Design Conference (ISOCC)},
 pages        = {278--281},
 doi          = {10.1109/ISOCC.2013.6864027},
)
@article(Nouri2018,
 author       = {A. Nouri and P. Poplavko and L. Angelis and A. Zerzelidis and S. Bensalem and P. Katsaros},
 year         = {2018},
 title        = {Maximal software execution time: a regression-based approach},
 journal      = {Innovations in Systems and Software Engineering},
 doi          = {10.1007/s11334-018-0314-9},
)
@inproceedings(Perrotin2012,
 author       = {M. Perrotin and E. Conquet and J. Delange and A. Schiele and T. Tsiodras},
 year         = {2012},
 title        = {TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future},
 editor       = {I. Ober and I. Ober},
 booktitle    = {SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {26--37},
 doi          = {10.1007/978-3-642-25264-8_4},
)
@inproceedings(litISOLA,
 author       = {P. Poplavko and R. Kahil and D. Socci and S. Bensalem and M. Bozga},
 year         = {2016},
 title        = {Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
 pages        = {605--621},
 doi          = {10.1007/978-3-319-47166-2_42},
)
@inproceedings(PopNAZBK17,
 author       = {P. Poplavko and A. Nouri and L. Angelis and A. Zerzelidis and S. Bensalem and P. Katsaros},
 year         = {2017},
 title        = {Regression-Based Statistical Bounds on Software Execution Time},
 booktitle    = {Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings},
 pages        = {48--63},
 doi          = {10.1007/978-3-319-66176-6_4},
)
@inproceedings(litDatePaper,
 author       = {P. Poplavko and D. Socci and P. Bourgos and S. Bensalem and M. Bozga},
 year         = {2015},
 title        = {Models for deterministic execution of real-time multiprocessor applications},
 booktitle    = {2015 Design, Automation Test in Europe Conference Exhibition (DATE)},
 pages        = {1665--1670},
 doi          = {10.7873/DATE.2015.0302},
)
@book(Radojevic:2011,
 author       = {I. Radojevic and Z. Salcic},
 year         = {2011},
 title        = {Embedded Systems Design Based on Formal Models of Computation},
 edition      = {1st},
 publisher    = {Springer Publishing Company, Incorporated},
 doi          = {10.1007/978-94-007-1594-3},
)
@inproceedings(1695922,
 author       = {K. Schneider and J. Brandt and E. Vecchie},
 year         = {2006},
 title        = {Efficient code generation from synchronous programs},
 booktitle    = {Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.},
 pages        = {165--174},
 doi          = {10.1109/MEMCOD.2006.1695922},
)
@article(EDA-034,
 author       = {J. Sifakis},
 year         = {2013},
 title        = {Rigorous System Design},
 journal      = {Foundations and Trends® in Electronic Design Automation},
 volume       = {6},
 number       = {4},
 pages        = {293--362},
 doi          = {10.1561/1000000034},
)