@article(anderson:spin_lock_alternatives,
 author       = "Thomas E. Anderson",
 year         = "1990",
 title        = "The Performance of Spin Lock Alternatives for Shared-Money Multiprocessors",
 journal      = "IEEE Transactions on Parallel and Distributed Systems",
 volume       = "1",
 number       = "1",
 pages        = "6--16",
 doi          = "10.1109/71.80120",
)
@inproceedings(FMICS12,
 author       = "Christel Baier and Marcus Daum and Benjamin Engel and Hermann H{\"a}rtig and Joachim Klein and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker and Hendrik Tews and Marcus V{\"o}lp",
 year         = "2012",
 title        = "Waiting for Locks: How Long Does It Usually Take?",
 booktitle    = "Formal Methods for Industrial Critical Systems - 17th International Workshop (FMICS'12)",
 series       = "Lecture Notes in Computer Science",
 volume       = "7437",
 publisher    = "Springer",
 pages        = "47--62",
 doi          = "10.1007/978-3-642-32469-7\_4",
 note         = "Extended version available at \url {http://wwwtcs.inf.tu-dresden.de/ALGI/spinlock-FMICS2012.pdf}",
)
@inproceedings(BCP02,
 author       = "Guillem Bernat and Antoine Colin and Stefan M. Petters",
 year         = "2002",
 title        = "WCET Analysis of Probabilistic Hard Real-Time Systems",
 booktitle    = "Proceedings of the 23rd Real-Time Systems Symposium (RTSS'02)",
 publisher    = "IEEE Computer Society",
 pages        = "279--288",
 doi          = "10.1109/REAL.2002.1181582",
)
@inproceedings(nonstop,
 author       = "David Bernick and Bill Bruckert and Paul Del Vigna and David Garcia and Robert Jardine and Jim Klecka and Jim Smullen",
 year         = "2005",
 title        = "NonStop: Advanced Architecture",
 booktitle    = "Dependable Systems and Networks (DSN'05)",
 publisher    = "IEEE Computer Society",
 pages        = "12--21",
 doi          = "10.1109/DSN.2005.70",
)
@inproceedings(CB06b,
 author       = "Frank Ciesinski and Christel Baier",
 year         = "2006",
 title        = "LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems",
 booktitle    = "Third International Conference on the Quantitative Evaluation of Systems (QEST'06)",
 publisher    = "IEEE Computer Society",
 pages        = "131--132",
 doi          = "10.1109/QEST.2006.25",
)
@article(ClarEndFilJha96,
 author       = "Edmund M. Clarke and Somesh Jha and Reinhard Enders and Thomas Filkorn",
 year         = "1996",
 title        = "Exploiting Symmetry in Temporal Logic Model Checking",
 journal      = "Formal Methods in System Design",
 volume       = "9",
 number       = "1-2",
 pages        = "77--104",
 doi          = "10.1007/BF00625969",
)
@inproceedings(Doebel12Watchmen,
 author       = "Bj\"{o}rn D\"{o}bel and Hermann H\"{a}rtig",
 year         = "2012",
 title        = "Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms",
 booktitle    = "8th Workshop on Hot Topics in System Dependability (HotDep'12)",
 url          = "https://www.usenix.org/system/files/conference/hotdep12/hotdep12-final1.pdf",
)
@inproceedings(DM06,
 author       = "Alastair Donaldson and Alice Miller",
 year         = "2006",
 title        = "Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives",
 booktitle    = "Automated Technology for Verification and Analysis, 4th International Symposium (ATVA'06)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4218",
 publisher    = "Springer",
 pages        = "9--23",
 doi          = "10.1007/11901914\_4",
)
@inproceedings(DMP09,
 author       = "Alastair Donaldson and Alice Miller and David Parker",
 year         = "2009",
 title        = "Language-Level Symmetry Reduction for Probabilistic Model Checking",
 booktitle    = "6th International Conference on the Quantitative Evaluation of Systems (QEST'06)",
 publisher    = "IEEE Computer Society",
 pages        = "289--298",
 doi          = "10.1109/QEST.2009.21",
)
@article(EmSis96,
 author       = "E. Allen Emerson and A. Prasad Sistla",
 year         = "1996",
 title        = "Symmetry and Model Checking",
 journal      = "Formal Methods in System Design",
 volume       = "9",
 number       = "1-2",
 pages        = "105--131",
 doi          = "10.1007/BF00625970",
)
@inproceedings(EmTref99,
 author       = "E. Allen Emerson and Richard J. Trefler",
 year         = "1999",
 title        = "From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking",
 booktitle    = "Correct Hardware Design and Verification Methods (CHARME'99)",
 series       = "Lecture Notes in Computer Science",
 volume       = "1703",
 publisher    = "Springer",
 pages        = "142--156",
 doi          = "10.1007/3-540-48153-2\_12",
)
@inproceedings(EmWahl03,
 author       = "E. Allen Emerson and Thomas Wahl",
 year         = "2003",
 title        = "On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking",
 booktitle    = "Correct Hardware Design and Verification Methods (CHARME'03)",
 series       = "Lecture Notes in Computer Science",
 volume       = "2860",
 publisher    = "Springer",
 pages        = "216--230",
 doi          = "10.1007/978-3-540-39724-3\_20",
)
@article(IpDill96,
 author       = "C. Norris Ip and David L. Dill",
 year         = "1996",
 title        = "Better Verification Through Symmetry",
 journal      = "Formal Methods in System Design",
 volume       = "9",
 number       = "1-2",
 pages        = "41--75",
 doi          = "10.1007/BF00625968",
)
@inproceedings(KatoenKZJ_TACAS07,
 author       = "Joost-Pieter Katoen and Tim Kemna and Ivan Zapreev and David N. Jansen",
 year         = "2007",
 title        = "Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking",
 booktitle    = "Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4424",
 publisher    = "Springer",
 pages        = "87--101",
 doi          = "10.1007/978-3-540-71209-1_9",
)
@article(MRMC11Journal,
 author       = "Joost-Pieter Katoen and Ivan S. Zapreev and Ernst Moritz Hahn and Holger Hermanns and David N. Jansen",
 year         = "2011",
 title        = "The ins and outs of the probabilistic model checker MRMC",
 journal      = "Performance Evaluation",
 volume       = "68",
 number       = "2",
 pages        = "90--104",
 doi          = "10.1016/j.peva.2010.04.001",
)
@inproceedings(KP07,
 author       = "Steffen Knapp and Wolfgang Paul",
 year         = "2007",
 title        = "Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification",
 booktitle    = "Program Analysis and Compilation",
 series       = "Lecture Notes in Computer Science",
 volume       = "4444",
 publisher    = "Springer",
 pages        = "53--81",
 doi          = "10.1007/978-3-540-71322-7\_3",
)
@article(KwiNorPar04,
 author       = "Marta Kwiatkowska and Gethin Norman and David Parker",
 year         = "2004",
 title        = "Probabilistic symbolic model checking with PRISM: a hybrid approach",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "6",
 number       = "2",
 pages        = "128--142",
 doi          = "10.1007/s10009-004-0140-2",
)
@inproceedings(KNP06,
 author       = "Marta Kwiatkowska and Gethin Norman and David Parker",
 year         = "2006",
 title        = "Symmetry Reduction for Probabilistic Model Checking",
 booktitle    = "Computer Aided Verification, 18th International Conference (CAV'06)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4144",
 publisher    = "Springer",
 pages        = "234--248",
 doi          = "10.1007/11817963_23",
)
@inproceedings(Lim:1994:RSA:195473.195490,
 author       = "Beng-Hong Lim and Anant Agarwal",
 year         = "1994",
 title        = "Reactive Synchronization Algorithms for Multiprocessors",
 booktitle    = "ASPLOS-VI",
 publisher    = "ACM",
 pages        = "25--35",
 doi          = "10.1145/195473.195490",
)
@inproceedings(mcs,
 author       = "John M. Mellor-Crummey and Michael L. Scott",
 year         = "1991",
 title        = "Scalable reader-writer synchronization for shared-memory multiprocessors",
 booktitle    = "3rd Symposium on Principles and Practice of Parallel Programming (PPOPP'91)",
 publisher    = "ACM",
 pages        = "106--113",
 doi          = "10.1145/109625.109637",
)
@article(MilDonCal06,
 author       = "Alice Miller and Alastair Donaldson and Muffy Calder",
 year         = "2006",
 title        = "Symmetry in Temporal Logic Model Checking",
 journal      = "ACM Computing Surveys",
 volume       = "38",
 number       = "3",
 doi          = "10.1145/1132960.1132962",
)
@article(nooks,
 author       = "Michael M. Swift and Brian N. Bershad and Henry M. Levy",
 year         = "2005",
 title        = "Improving the Reliability of Commodity Operating Systems",
 journal      = "ACM Transactions on Computer Systems",
 volume       = "23",
 number       = "1",
 pages        = "77--110",
 doi          = "10.1145/1047915.1047919",
)
@article(WEE+08,
 author       = "Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti and Stephan Thesing and David Whalley and Guillem Bernat and Christian Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and Isabelle Puaut and Peter Puschner and Jan Staschulat and Per Stenstr\"{o}m",
 year         = "2008",
 title        = "The Worst-Case Execution-Time Problem -- Overview of Methods and Survey of Tools",
 journal      = "ACM Transactions on Embedded Computing Systems",
 volume       = "7",
 number       = "3",
 pages        = "36:1--36:53",
 doi          = "10.1145/1347375.1347389",
)