@(POSIX-RT,
 year         = "1999",
 title        = "IEEE Standard for Information Technology-Portable Operating System Interface (POSIX)-Part 1: System Application Program Interface (API)- Amendment D: Additional Real time Extensions [C Language]",
 doi          = "10.1109/IEEESTD.1999.91515",
)
@inproceedings(AM02,
 author       = "Yasmina Adbedda{\"i}m and Oded Maler",
 year         = "2002",
 title        = "Preemptive Job-Shop Scheduling using Stopwatch Automata",
 booktitle    = "{TACAS}",
 series       = "Lecture Notes in Computer Science",
 volume       = "2280",
 publisher    = "Springer-Verlag",
 pages        = "113--126",
 doi          = "10.1007/3-540-46002-0\_9",
)
@article(AD94,
 author       = "Rajeev Alur and David 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(AHV93,
 author       = "Rajeev Alur and Thomas A. Henzinger and Moshe Y. Vardi",
 year         = "1993",
 title        = "Parametric real-time reasoning",
 booktitle    = "STOC",
 publisher    = "ACM",
 pages        = "592--601",
 doi          = "10.1145/167088.167242",
)
@inproceedings(AF10,
 author       = "{\'E}tienne Andr{\'e} and Laurent Fribourg",
 year         = "2010",
 title        = "Behavioral Cartography of Timed Automata",
 booktitle    = "RP",
 series       = "Lecture Notes in Computer Science",
 volume       = "6227",
 publisher    = "Springer",
 pages        = "76--90",
 doi          = "10.1007/978-3-642-15349-5\_5",
)
@inproceedings(AFS13atva,
 author       = "{\'E}tienne Andr\'e and Laurent Fribourg and Romain Soulat",
 year         = "2013",
 title        = "Merge and Conquer: State Merging in Parametric Timed Automata",
 booktitle    = "{ATVA}",
 series       = "Lecture Notes in Computer Science",
 volume       = "8172",
 publisher    = "Springer",
 pages        = "381--396",
 doi          = "10.1007/978-3-319-02444-8\_27",
)
@inproceedings(AFKS12,
 author       = "\IeC {\'E}tienne Andr\IeC {\'e} and Laurent Fribourg and Ulrich K\IeC {\"u}hne and Romain Soulat",
 year         = "2012",
 title        = "{{IMITATOR}~2.5: A~Tool for Analyzing Robustness in Scheduling Problems}",
 booktitle    = "{FM}",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "7436",
 publisher    = "Springer",
 pages        = "33\IeC {\textendash }36",
 doi          = "10.1007/978-3-642-32759-9\_6",
)
@book(AS13,
 author       = "\IeC {\'E}tienne Andr\IeC {\'e} and Romain Soulat",
 year         = "2013",
 title        = "{The Inverse Method}",
 publisher    = "ISTE Ltd and John Wiley \& Sons Inc.",
 doi          = "10.1002/9781118569351",
)
@article(BHR90,
 author       = "Sanjoy K. Baruah and Louis E. Rosier and Rodney R. Howell",
 year         = "1990",
 title        = "Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor",
 journal      = "Real-Time Systems",
 volume       = "2",
 number       = "4",
 pages        = "301--324",
 doi          = "10.1007/BF01995675",
)
@inproceedings(Bin06,
 author       = "Enrico Bini and Marco {Di Natale} and Giorgio C. Buttazzo",
 year         = "2006",
 title        = "{Sensitivity Analysis for Fixed-Priority Real-Time Systems}",
 booktitle    = "{ECRTS}",
 pages        = "13\IeC {\textendash }22",
 doi          = "10.1007/s11241-006-9010-1",
)
@article(bucci2004timed,
 author       = "Giacomo Bucci and Andrea Fedeli and Luigi Sassoli and Enrico Vicario",
 year         = "2004",
 title        = "{Timed state space analysis of real-time preemptive systems}",
 journal      = "IEEE Transactions on Software Engineering",
 volume       = "30",
 number       = "2",
 pages        = "97--111",
 doi          = "10.1109/TSE.2004.1265815",
)
@book(Buttazzo-Book-2004,
 author       = "Giorgio C. Buttazzo",
 year         = "2004",
 title        = "{Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)}",
 publisher    = "Springer-Verlag TELOS",
)
@inproceedings(CGMT13,
 author       = "Alessandro Cimatti and Alberto Griggio and Sergio Mover and Stefano Tonetta",
 year         = "2013",
 title        = "Parameter synthesis with {IC3}",
 booktitle    = "FMCAD",
 publisher    = "IEEE",
 pages        = "165--168",
 doi          = "10.1109/FMCAD.2013.6679406",
)
@inproceedings(CPR08,
 author       = "Alessandro Cimatti and Luigi Palopoli and Yusi Ramadian",
 year         = "2008",
 title        = "Symbolic Computation of Schedulability Regions Using Parametric Timed Automata",
 booktitle    = "RTSS",
 publisher    = "IEEE Computer Society",
 pages        = "80--89",
 doi          = "10.1109/RTSS.2008.36",
)
@inproceedings(eta:2clocks,
 author       = "Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi",
 year         = "2003",
 title        = "{Schedulability Analysis Using Two Clocks}",
 booktitle    = "{TACAS}",
 pages        = "224--239",
 doi          = "10.1007/3-540-36577-X\_16",
)
@inproceedings(eta:edf,
 author       = "Elena Fersman and Paul Pettersson and Wang Yi",
 year         = "2002",
 title        = "{Timed Automata with Asynchronous Processes: Schedulability and Decidability}",
 booktitle    = "{TACAS}",
 publisher    = "Springer-Verlag",
 pages        = "67--82",
 doi          = "10.1007/3-540-46002-0\_6",
)
@book(Rahmani:2011:SMD:1988997.1989008,
 author       = "Gomaa Hassan",
 year         = "2012",
 title        = "Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures",
 publisher    = "Cambridge University Press",
 doi          = "10.1145/1988997.1989008",
)
@inproceedings(JLR13,
 author       = "Aleksandra Jovanovi{\'c} and Didier Lime and Olivier H. Roux",
 year         = "2013",
 title        = "Integer Parameter Synthesis for Timed Automata",
 booktitle    = "TACAS",
 series       = "Lecture Notes in Computer Science",
 volume       = "7795",
 publisher    = "Springer",
 pages        = "401--415",
 doi          = "10.1007/978-3-642-36742-7\_28",
)
@article(lampka2013component,
 author       = "Kai Lampka and Simon Perathoner and Lothar Thiele",
 year         = "2013",
 title        = "{Component-based system design: analytic real-time interfaces for state-based component implementations}",
 journal      = "International Journal on Software Tools for Technology Transfer",
 volume       = "15",
 number       = "3",
 pages        = "155\IeC {\textendash }170",
 doi          = "10.1007/s10009-012-0257-7",
)
@article(Pal13,
 author       = "Thi Thieu Hoa Le and Luigi Palopoli and Roberto Passerone and Yusi Ramadian",
 year         = "2013",
 title        = "Timed-automata based schedulability analysis for distributed firm real-time systems: A case study",
 journal      = "International Journal on Software Tools for Technology Transfer",
 volume       = "15",
 number       = "3",
 pages        = "211--228",
 doi          = "10.1007/s10009-012-0245-y",
)
@article(LW82,
 author       = "Joseph Y.-T. Leung and Jennifer Whitehead",
 year         = "1982",
 title        = "On the complexity of fixed-priority scheduling of periodic, real-time tasks",
 journal      = "Performance Evaluation",
 volume       = "2",
 number       = "4",
 pages        = "237--250",
 doi          = "10.1016/0166-5316(82)90024-4",
)
@article(Lime2009,
 author       = "Didier Lime and Olivier H. Roux",
 year         = "2009",
 title        = "{Formal verification of real-time systems with preemptive scheduling}",
 journal      = "Real-Time Systems",
 volume       = "41",
 number       = "2",
 pages        = "118--151",
 doi          = "10.1007/s11241-008-9059-0",
)
@article(LALSD14,
 author       = "Shang-Wei Lin and {\'E}tienne Andr{\'e} and Yang Liu and Jun Sun and Jin Song Dong",
 year         = "2014",
 title        = "Learning Assumptions for Compositional Verification of Timed Systems",
 journal      = "Transactions on Software Engineering",
 doi          = "10.1109/TSE.2013.57",
 note         = "To appear",
)
@article(liu73,
 author       = "Chung Laung Liu and James W Layland",
 year         = "1973",
 title        = "Scheduling algorithms for multiprogramming in a hard-real-time environment",
 journal      = "Journal of the ACM",
 volume       = "20",
 number       = "1",
 pages        = "46--61",
 doi          = "10.1145/321738.321743",
)
@book(liu2000real,
 author       = "Jane W. Liu",
 year         = "2000",
 title        = "{Real-time systems}",
 publisher    = "Prentice Hall PTR",
)
@article(shin2008compositional,
 author       = "Insik Shin and Insup Lee",
 year         = "2008",
 title        = "{Compositional real-time scheduling framework with periodic model}",
 journal      = "ACM Transactions on Embedded Computing Systems (TECS)",
 volume       = "7",
 number       = "3",
 pages        = "30",
 doi          = "10.1145/1347375.1347383",
)
@inproceedings(SSLAF13,
 author       = "Youcheng Sun and Romain Soulat and {\'{E}}tienne Lipari, Giuseppe Andr{\'{e}} and Laurent Fribourg",
 year         = "2013",
 title        = "Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems",
 editor       = "Cyrille Artho and Peter {\"O}lveczky",
 booktitle    = "Second International Workshop on Formal Techniques for Safety-Critical Systems ({FTSCS}'13)",
 series       = "Communications in Computer and Information Science",
 volume       = "419",
 publisher    = "Springer",
 note         = "To appear.",
)
@inproceedings(thiele2000real,
 author       = "L. Thiele and S. Chakraborty and M. Naedele",
 year         = "2000",
 title        = "{Real-time calculus for scheduling hard real-time systems}",
 booktitle    = "{Proceedings of the 2000 IEEE International Symposium on Circuits and Systems, ISCAS 2000, Geneva.}",
 volume       = "4",
 organization = "IEEE",
 pages        = "101--104",
 doi          = "10.1109/ISCAS.2000.858698",
)
@article(TLR09,
 author       = "Louis-Marie Traonouez and Didier Lime and Olivier H. Roux",
 year         = "2009",
 title        = "Parametric Model-Checking of Stopwatch {Petri} Nets",
 journal      = "Journal of Universal Computer Science",
 volume       = "15",
 number       = "17",
 pages        = "3273--3304",
 doi          = "10.3217/jucs-015-17-3273",
)