@inproceedings(AN:BQQ,
 author       = "P.A. Abdulla and A. Nyl\'{e}n",
 year         = "2001",
 title        = "Timed {P}etri Nets and {BQO}s",
 booktitle    = "Proceedings of the 22nd International Conference on Application and Theory of {P}etri Nets (ICATPN'01)",
 series       = "LNCS",
 volume       = "2075",
 publisher    = "Springer-Verlag",
 pages        = "53--70",
 doi          = "10.1007/3-540-45740-2\_5",
)
@article(AD94,
 author       = "R. Alur and D. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "Theoretical Computer Science (TCS)",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@inproceedings(DBLP:conf/hybrid/AsarinBKMPR97,
 author       = "E. Asarin and M. Bozga and A. Kerbrat and O. Maler and A. Pnueli and A. Rasse",
 year         = "1997",
 title        = "Data-Structures for the Verification of Timed Automata",
 editor       = "Oded Maler",
 booktitle    = "HART",
 series       = "LNCS",
 volume       = "1201",
 publisher    = "Springer",
 pages        = "346--360",
 doi          = "10.1007/BFb0014737",
)
@inproceedings(tutorial04,
 author       = "G. Behrmann and A. David and K.G. Larsen",
 year         = "2004",
 title        = "A Tutorial on {\sc Uppaal}",
 booktitle    = "Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems ({SFM-RT}'04)",
 series       = "LNCS",
 volume       = "3185",
 publisher    = "Springer-Verlag",
 pages        = "200--236",
 doi          = "10.1007/978-3-540-30080-9\_7",
)
@inproceedings(DBLP:conf/ifip/BerthomieuM83,
 author       = "B. Berthomieu and M. Menasche",
 year         = "1983",
 title        = "An Enumerative Approach for Analyzing Time Petri Nets",
 booktitle    = "IFIP Congress",
 pages        = "41--46",
)
@inproceedings(DBLP:conf/cav/BeyerLN03,
 author       = "D. Beyer and C. Lewerentz and A. Noack",
 year         = "2003",
 title        = "Rabbit: A Tool for BDD-Based Verification of Real-Time Systems",
 editor       = "Warren A. Hunt Jr. and Fabio Somenzi",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "2725",
 publisher    = "Springer",
 pages        = "122--125",
 doi          = "10.1007/978-3-540-45069-6\_13",
)
@inproceedings(DBLP:conf/forte/BeyerN03,
 author       = "D. Beyer and A. Noack",
 year         = "2003",
 title        = "Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?",
 editor       = "Hartmut K{\"o}nig and Monika Heiner and Adam Wolisz",
 booktitle    = "FORTE",
 series       = "LNCS",
 volume       = "2767",
 publisher    = "Springer",
 pages        = "193--208",
 doi          = "10.1007/978-3-540-39979-7\_13",
)
@inproceedings(DBLP:conf/stacs/Bouyer03,
 author       = "P. Bouyer",
 year         = "2003",
 title        = "Untameable Timed Automata!",
 editor       = "Helmut Alt and Michel Habib",
 booktitle    = "STACS",
 series       = "LNCS",
 volume       = "2607",
 publisher    = "Springer",
 pages        = "620--631",
 doi          = "10.1007/3-540-36494-3\_54",
)
@inproceedings(DBLP:conf/cav/BozgaGM02,
 author       = "M. Bozga and S. Graf and L. Mounier",
 year         = "2002",
 title        = "IF-2.0: A Validation Environment for Component-Based Real-Time Systems",
 editor       = "Ed Brinksma and Kim Guldstrand Larsen",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "2404",
 publisher    = "Springer",
 pages        = "343--348",
 doi          = "10.1007/3-540-45657-0\_26",
)
@inproceedings(BMT:discrete:99,
 author       = "M. Bozga and O. Maler and S. Tripakis",
 year         = "1999",
 title        = "Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics",
 booktitle    = "Proceedings of Correct Hardware Design and Verification Methods ({CHARME}'99)",
 series       = "LNCS",
 volume       = "1703",
 publisher    = "Springer",
 pages        = "125--141",
 doi          = "10.1007/3-540-48153-2\_11",
)
@inproceedings(BJS:ICFEM:09,
 author       = "J. Byg and K.Y. J{\o }rgensen and J. Srba",
 year         = "2009",
 title        = "An Efficient Translation of Timed-Arc {P}etri Nets to Networks of Timed Automata",
 booktitle    = "Proc. of the 11th International Conf. on Formal Engineering Methods ({ICFEM}'09)",
 series       = "LNCS",
 volume       = "5885",
 publisher    = "Springer-Verlag",
 pages        = "698--716",
 doi          = "10.1007/978-3-642-10373-5\_36",
)
@inproceedings(DHJLOOS:NFM:11,
 author       = "A.E. Dalsgaard and R.R. Hansen and K.Y. J{\o }rgensen and K.G. Larsen and M.Chr. Olesen and P. Olsen and J. Srba",
 year         = "2011",
 title        = "opaal: A Lattice Model Checker",
 booktitle    = "Proceedings of the 3rd NASA Formal Methods Symposium ({NFM}'11)",
 series       = "LNCS",
 volume       = "6617",
 publisher    = "Springer-Verlag",
 pages        = "487--493",
 doi          = "10.1007/978-3-642-20398-5\_37",
)
@inproceedings(DJJJMS:TACAS:12,
 author       = "A. David and L. Jacobsen and M. Jacobsen and K.Y. J{\o }rgensen and M.H. M{\o }ller and J. Srba",
 year         = "2012",
 title        = "TAPAAL 2.0: Integrated Development Environment for Timed-Arc {P}etri Nets",
 booktitle    = "Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ({TACAS}'12)",
 series       = "LNCS",
 volume       = "7214",
 publisher    = "Springer-Verlag",
 pages        = "492--497",
 doi          = "10.1007/978-3-642-28756-5\_36",
)
@inproceedings(DOTY96,
 author       = "C. Daws and A. Olivero and S. Tripakis and S. Yovine",
 year         = "1996",
 title        = "The Tool {\sc Kronos}",
 booktitle    = "Proc. Hybrid Systems III: Verification and Control (1995)",
 series       = "{LNCS}",
 volume       = "1066",
 publisher    = "{Springer-Verlag}",
 pages        = "208--219",
 doi          = "10.1007/BFb0020947",
)
@inproceedings(DBLP:conf/avmfss/Dill89,
 author       = "D.L. Dill",
 year         = "1989",
 title        = "Timing Assumptions and Verification of Finite-State Concurrent Systems",
 editor       = "Joseph Sifakis",
 booktitle    = "Automatic Verification Methods for Finite State Systems",
 series       = "LNCS",
 volume       = "407",
 publisher    = "Springer",
 pages        = "197--212",
 doi          = "10.1007/3-540-52148-8\_17",
)
@inproceedings(DBLP:conf/rtcsa/HsiungWC00,
 author       = "P.-A. Hsiung and F. Wang and R.-Ch. Chen",
 year         = "2000",
 title        = "On the verification of Wireless Transaction Protocol using {SGM} and {RED}",
 booktitle    = "RTCSA",
 publisher    = "IEEE Computer Society",
 pages        = "379--383",
 doi          = "10.1109/RTCSA.2000.896414",
)
@article(KA:JPDC:99,
 author       = "Y.-K. Kwok and I. Ahmad",
 year         = "1999",
 title        = "Benchmarking and Comparison of the Task Graph Scheduling Algorithms",
 journal      = "Journal of Parallel and Distributed Computing",
 volume       = "59",
 number       = "3",
 pages        = "381 -- 422",
 doi          = "10.1006/jpdc.1999.1578",
)
@article(lamport87fast,
 author       = "L. Lamport",
 year         = "1987",
 title        = "A Fast Mutual Exclusion Algorithm",
 journal      = "ACM Transactions on Computer Systems",
 volume       = "5",
 number       = "1",
 pages        = "1--11",
 doi          = "10.1145/7351.7352",
)
@inproceedings(DBLP:conf/charme/Lamport05,
 author       = "L. Lamport",
 year         = "2005",
 title        = "Real-Time Model Checking Is Really Simple",
 booktitle    = "CHARME",
 series       = "LNCS",
 volume       = "3725",
 publisher    = "Springer",
 pages        = "162--175",
 doi          = "10.1007/11560548\_14",
)
@article(LY:97,
 author       = "K.G. Larsen and Y. Wang",
 year         = "1997",
 title        = "Time-Abstracted Bisimulation: Implicit Specifications and Decidability",
 journal      = "Information and Computation",
 volume       = "134",
 number       = "2",
 pages        = "75 -- 101",
 doi          = "10.1006/inco.1997.2623",
)
@inproceedings(LiuSD08,
 author       = "Y. Liu and J. Sun and J.S. Dong",
 year         = "2008",
 title        = "An Analyzer for Extended Compositional Process Algebras",
 booktitle    = "ICSE Companion",
 publisher    = "ACM",
 pages        = "919--920",
 doi          = "10.1145/1370175.1370187",
)
@misc(STG,
 author       = "Kasahara Laboratory at Waseda University",
 title        = "Standard Task Graph Set",
 note         = "Http://www.kasahara.elec.waseda.ac.jp/schedule/",
)
@article(dbm-quadratic,
 author       = "J. Zhao and X. Li and G. Zheng",
 year         = "2005",
 title        = "A quadratic-time {DBM}-based successor algorithm for checking timed automata",
 journal      = "Information Processing Letters",
 volume       = "96",
 number       = "3",
 pages        = "101--105",
 doi          = "10.1016/j.ipl.2005.05.027",
)