@article(schedule-tcs,
 author       = "Y. Abdedda\"{\i }m and E. Asarin and O. Maler",
 year         = "2006",
 title        = "Scheduling with timed automata",
 journal      = "Theoretical Computer Science",
 volume       = "354",
 number       = "2",
 pages        = "272--300",
 doi          = "10.1016/j.tcs.2005.11.018",
)
@article(ad94,
 author       = "R. Alur and D.L. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "Theoretical Computer Science",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@inproceedings(times,
 author       = "T. Amnell and E. Fersman and L. Mokrushin and P. Pettersson and W. Yi",
 year         = "2003",
 title        = "TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems",
 booktitle    = "FORMATS",
 pages        = "60--72",
 doi          = "10.1007/978-3-540-40903-8\_6",
)
@article(pcd,
 author       = "E. Asarin and O. Maler and A. Pnueli",
 year         = "1995",
 title        = "Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives",
 journal      = "Theor. Comput. Sci.",
 volume       = "138",
 number       = "1",
 pages        = "35--65",
 doi          = "10.1016/0304-3975(94)00228-B",
)
@inproceedings(bip,
 author       = "A. Basu and M. Bozga and J. Sifakis",
 year         = "2006",
 title        = "Modeling Heterogeneous Real-time Components in {BIP}",
 booktitle    = "SEFM",
 pages        = "3--12",
 doi          = "10.1109/SEFM.2006.27",
)
@phdthesis(ramzi-thesis,
 author       = "R. Ben Salah",
 year         = "2007",
 title        = "On Timing Analysis of Large Systems",
 school       = "INP Grenoble",
)
@inproceedings(BanSalahBozgaMaler09,
 author       = "R. Ben Salah and M. Bozga and O. Maler",
 year         = "2009",
 title        = "Compositional Timing Analysis",
 booktitle    = "EMSOFT",
 doi          = "10.1145/1629335.1629342",
 url          = "http://www-verimag.imag.fr/~maler/Papers/tabst-new.pdf",
)
@inproceedings(sync,
 author       = "A. Benveniste and P. Caspi and P. Le Guernic and N. Halbwachs",
 year         = "1993",
 title        = "Data-Flow Synchronous Languages",
 booktitle    = "REX School/Symposium",
 pages        = "1--45",
 doi          = "10.1007/3-540-58043-3\_16",
)
@inproceedings(rabbit,
 author       = "D. Beyer and C. Lewerentz and A. Noack",
 year         = "2003",
 title        = "Rabbit: A Tool for {BDD}-Based Verification of Real-Time Systems",
 booktitle    = "CAV",
 pages        = "122--125",
 doi          = "10.1007/978-3-540-45069-6\_13",
)
@article(teich-thiele,
 author       = "T. Blickle and J. Teich and L. Thiele",
 year         = "1998",
 title        = "System-Level Synthesis Using Evolutionary Algorithms",
 journal      = "Design Autom. for Emb. Sys.",
 volume       = "3",
 number       = "1",
 pages        = "23--58",
 doi          = "10.1023/A:1008899229802",
)
@inproceedings(BloemCHJ09,
 author       = "R. Bloem and K. Chatterjee and T. A. Henzinger and B. Jobstmann",
 year         = "2009",
 title        = "Better Quality in Synthesis through Quantitative Objectives",
 booktitle    = "CAV",
 pages        = "140--156",
 doi          = "10.1007/978-3-642-02658-4\_14",
)
@article(BouyerFLM11,
 author       = "P. Bouyer and U. Fahrenberg and K.G. Larsen and N. Markey",
 year         = "2011",
 title        = "Quantitative analysis of real-time systems using priced timed automata",
 journal      = "Commun. ACM",
 volume       = "54",
 number       = "9",
 pages        = "78--87",
 doi          = "10.1145/1995376.1995396",
)
@inproceedings(if,
 author       = "M. Bozga and S. Graf and L. Mounier",
 year         = "2002",
 title        = "{IF}-2.0: A Validation Environment for Component-Based Real-Time Systems",
 booktitle    = "CAV",
 publisher    = "Springer",
 pages        = "343--348",
 doi          = "10.1007/3-540-45657-0\_26",
)
@proceedings(BHK-book,
 editor       = "E. Brinksma and H. Hermanns and J.-P. Katoen",
 year         = "2001",
 title        = "Lectures on Formal Methods and Performance Analysis",
)
@book(buttazzo-book,
 author       = "G. Buttazzo",
 year         = "2005",
 title        = "Hard Real-Time Computing Systems: Predictable Schedulding Algorithms and Applications",
 publisher    = "Springer",
 doi          = "10.1007/0-387-27578-9",
)
@inproceedings(henzinger-quant-emsoft,
 author       = "P. Cern{\'y} and T. A. Henzinger",
 year         = "2011",
 title        = "From {B}oolean to quantitative synthesis",
 booktitle    = "EMSOFT",
 pages        = "149--154",
 doi          = "10.1145/2038642.2038666",
)
@article(stat-alex,
 author       = "Edmund M. Clarke and Alexandre Donz{\'e} and Axel Legay",
 year         = "2010",
 title        = "On simulation-based probabilistic model checking of mixed-analog circuits",
 journal      = "Formal Methods in System Design",
 volume       = "36",
 number       = "2",
 pages        = "97--113",
 doi          = "10.1007/s10703-009-0076-y",
)
@book(coffman,
 author       = "E.G. Coffman",
 year         = "1976",
 title        = "Computer and Job-shop Scheduling Theory",
 publisher    = "Wiley",
)
@inproceedings(stat-larsen,
 author       = "A. David and K.G. Larsen and A. Legay and M. Mikucionis and D.B. Poulsen and J. van Vliet and Z. Wang",
 year         = "2011",
 title        = "Statistical Model Checking for Networks of Priced Timed Automata",
 booktitle    = "FORMATS",
 pages        = "80--96",
 doi          = "10.1007/978-3-642-24310-3\_7",
)
@inproceedings(doty,
 author       = "C. Daws and A. Olivero and S. Tripakis and S. Yovine",
 year         = "1995",
 title        = "The Tool {KRONOS}",
 booktitle    = "Hybrid Systems",
 pages        = "208--219",
)
@inproceedings(sched-recurrent,
 author       = "A. Degorre and O. Maler",
 year         = "2008",
 title        = "On Scheduling Policies for Streams of Structured Jobs",
 booktitle    = "FORMATS",
 pages        = "141--154",
 doi          = "10.1007/978-3-540-85778-5\_11",
)
@article(sdf1,
 author       = "S. A. Edwards and E. A. Lee",
 year         = "2003",
 title        = "The semantics and execution of a synchronous block-diagram language",
 journal      = "Sci. Comput. Program.",
 volume       = "48",
 number       = "1",
 pages        = "21--42",
 doi          = "10.1016/S0167-6423(02)00096-5",
)
@proceedings(formats2011,
 editor       = "U. Fahrenberg and S. Tripakis",
 year         = "2011",
 title        = "Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS",
 series       = "LNCS",
 volume       = "6919",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-24310-3",
)
@article(gries,
 author       = "M. Gries",
 year         = "2004",
 title        = "Methods for Evaluating and Covering the Design Space during Early Design Development",
 journal      = "Integration, the VLSI Journal",
 volume       = "38",
 number       = "2",
 pages        = "131--183",
 doi          = "10.1016/S0167-9260(04)00032-X",
)
@article(what-decidable,
 author       = "T. A. Henzinger and P. W. Kopke and A. Puri and P. Varaiya",
 year         = "1998",
 title        = "What's Decidable about Hybrid Automata?",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "57",
 number       = "1",
 pages        = "94--124",
 doi          = "10.1006/jcss.1998.1581",
)
@inproceedings(compare-sched,
 author       = "J.-F. Kempf and M. Bozga and O. Maler",
 year         = "2011",
 title        = "Performance Evaluation of Schedulers in a Probabilistic Setting",
 editor       = "Fahrenberg and Tripakis",
 pages        = "1--17",
 doi          = "10.1007/978-3-642-24310-3\_1",
)
@inproceedings(integration-graphs,
 author       = "Y. Kesten and A. Pnueli and J. Sifakis and S. Yovine",
 year         = "1992",
 title        = "Integration Graphs: A Class of Decidable Hybrid Systems",
 booktitle    = "Hybrid Systems",
 pages        = "179--208",
 doi          = "10.1007/3-540-57318-6\_29",
)
@book(kopetz-book,
 author       = "H. Kopetz",
 year         = "2011",
 title        = "Real-Time Systems: Design Principles for Distributed Embedded Applications",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4419-8237-7",
)
@inproceedings(priced,
 author       = "K.G. Larsen and G. Behrmann and E. Brinksma and A. Fehnker and T. Hune and P. Pettersson and J. Romijn",
 year         = "2001",
 title        = "As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata",
 booktitle    = "CAV",
 doi          = "10.1007/3-540-44585-4\_47",
)
@article(uppaal,
 author       = "K.G Larsen and P. Pettersson and W. Yi",
 year         = "1997",
 title        = "{UPPAAL in a nutshell}",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "1",
 number       = "1",
 pages        = "134--152",
 doi          = "10.1007/s100090050010",
)
@inproceedings(leyland,
 author       = "C.L. Liu and J. Layland",
 year         = "1973",
 title        = "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment",
 booktitle    = "Readings in Hardware/Software Co-Design",
 pages        = "179-- 194",
 doi          = "10.1016/b978-155860702-6/50016-8",
)
@book(liu-book,
 author       = "J. W. S. Liu",
 year         = "2000",
 title        = "Real-Time Systems",
 publisher    = "Prentice-Hall",
)
@inproceedings(under-det,
 author       = "O. Maler",
 year         = "2011",
 title        = "On Under-Determined Dynamical Systems",
 booktitle    = "EMSOFT",
 pages        = "89--96",
 doi          = "10.1145/2038642.2038658",
)
@proceedings(qapl2011,
 editor       = "M. Massink and G. Norman",
 year         = "2011",
 title        = "Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages",
 series       = "EPTCS",
 volume       = "57",
 doi          = "10.4204/EPTCS.57",
)
@proceedings(qest2011,
 editor       = "C. Palamidessi and A. Riska",
 year         = "2011",
 title        = "Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011",
 doi          = "10.1109/QEST.2011.1",
)
@article(pimental,
 author       = "A. D. Pimentel and C. Erbas and S. Polstra",
 year         = "2006",
 title        = "A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels",
 journal      = "IEEE Trans. Computers",
 volume       = "55",
 number       = "2",
 pages        = "99--112",
 doi          = "10.1109/TC.2006.16",
)
@techreport(p2012,
 author       = "STMicroelectonics and CEA",
 year         = "2010",
 title        = "Platform 2012: A Many-core programmable accelerator for Ultra-Efficient Embedded Computing in Nanometer Technology",
 type         = "Technical Report",
 url          = "http://www.2parma.eu/images/stories/p2012_whitepaper.pdf",
)
@inproceedings(sdf2,
 author       = "S. Stuijk and M. Geilen and T. Basten",
 year         = "2006",
 title        = "{SDF}$^{\unhbox \voidb@x \hbox {3}}$: {SDF} For Free",
 booktitle    = "ACSD",
 pages        = "276--278",
 doi          = "10.1109/ACSD.2006.23",
)
@inproceedings(streamit,
 author       = "W. Thies and M. Karczmarek and S. P. Amarasinghe",
 year         = "2002",
 title        = "StreamIt: A Language for Streaming Applications",
 booktitle    = "CC",
 pages        = "179--196",
 doi          = "10.1007/3-540-45937-5\_14",
)
@article(red,
 author       = "F. Wang",
 year         = "2004",
 title        = "Efficient verification of timed automata with {BDD}-like data structures",
 journal      = "STTT",
 volume       = "6",
 number       = "1",
 pages        = "77--97",
 doi          = "10.1007/s10009-003-0135-4",
)
@inproceedings(younes,
 author       = "H. L. S. Younes and R. G. Simmons",
 year         = "2002",
 title        = "Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling",
 booktitle    = "CAV",
 pages        = "223--235",
 doi          = "10.1007/3-540-45657-0\_17",
)
@article(kronos,
 author       = "S. Yovine",
 year         = "1997",
 title        = "KRONOS: A Verification Tool for Real-Time Systems",
 journal      = "STTT",
 volume       = "1",
 number       = "1-2",
 pages        = "123--133",
 doi          = "10.1007/s100090050009",
)