@inproceedings(DBLP:conf/popl/AndersonFGJKSW14,
 author       = {Carolyn Jane Anderson and Nate Foster and Arjun Guha and Jean{-}Baptiste Jeannin and Dexter Kozen and Cole Schlesinger and David Walker},
 year         = {2014},
 title        = {NetKAT: semantic foundations for networks},
 booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014},
 pages        = {113--126},
 doi          = {10.1145/2535838.2535862},
)
@book(DBLP:books/daglib/0020348,
 author       = {Christel Baier and Joost{-}Pieter Katoen},
 year         = {2008},
 title        = {Principles of model checking},
 publisher    = {{MIT} Press},
)
@article(DBLP:journals/fmsd/BeerBCOT12,
 author       = {Ilan Beer and Ben{-}David, Shoham and Hana Chockler and Avigail Orni and Richard J. Trefler},
 year         = {2012},
 title        = {Explaining counterexamples using causality},
 journal      = {Formal Methods in System Design},
 volume       = {40},
 number       = {1},
 pages        = {20--40},
 doi          = {10.1007/s10703-011-0132-2},
)
@proceedings(DBLP:conf/sum/2011,
 editor       = {Salem Benferhat and John Grant},
 year         = {2011},
 title        = {Scalable Uncertainty Management - 5th International Conference, {SUM} 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6929},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-23963-2},
)
@inproceedings(Buckl:2007:MAD:1927558.1927572,
 author       = {Christian Buckl and Alois Knoll and Ina Schieferdecker and Justyna Zander},
 year         = {2007},
 title        = {Model-Based Analysis and Development of Dependable Systems},
 editor       = {Giese},
 pages        = {271--293},
 doi          = {10.1007/978-3-642-16277-0\_10},
)
@inproceedings(DBLP:journals/corr/abs-1901-00588,
 author       = {Georgiana Caltais and Sophie Linnea Guetlein and Stefan Leue},
 year         = {2018},
 title        = {Causality for General LTL-definable Properties},
 editor       = {Finkbeiner and Kleinberg},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.286.1},
)
@inproceedings(DBLP:journals/corr/CaltaisLM16,
 author       = {Georgiana Caltais and Stefan Leue and Mohammad Reza Mousavi},
 year         = {2016},
 title        = {(De-)Composing Causality in Labeled Transition Systems},
 editor       = {G{\"{o}}{\ss}ler and Sokolsky},
 pages        = {10--24},
 doi          = {10.4204/EPTCS.224.3},
)
@inproceedings(DBLP:conf/rta/ClavelDELMMQ99,
 author       = {Manuel Clavel and Francisco Dur{\'{a}}n and Steven Eker and Patrick Lincoln and Mart{\'{\i}}{-}Oliet, Narciso and Jos{\'{e}} Meseguer and Jose F. Quesada},
 year         = {1999},
 title        = {The Maude System},
 editor       = {Narendran and Rusinowitch},
 pages        = {240--243},
 doi          = {10.1007/3-540-48685-2\_18},
)
@proceedings(DBLP:journals/corr/abs-1901-00073,
 editor       = {Bernd Finkbeiner and Samantha Kleinberg},
 year         = {2019},
 title        = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018},
 series       = {{EPTCS}},
 volume       = {286},
 doi          = {10.4204/EPTCS.286},
)
@inproceedings(DBLP:conf/icfp/FosterHFMRSW11,
 author       = {Nate Foster and Rob Harrison and Michael J. Freedman and Christopher Monsanto and Jennifer Rexford and Alec Story and David Walker},
 year         = {2011},
 title        = {Frenetic: a network programming language},
 booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21, 2011},
 pages        = {279--291},
 doi          = {10.1145/2034773.2034812},
)
@inproceedings(DBLP:conf/popl/FosterKM0T15,
 author       = {Nate Foster and Dexter Kozen and Matthew Milano and Alexandra Silva and Laure Thompson},
 year         = {2015},
 title        = {A Coalgebraic Decision Procedure for {NetKAT}},
 booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015},
 pages        = {343--355},
 doi          = {10.1145/2676726.2677011},
)
@proceedings(DBLP:conf/vmcai/2013,
 editor       = {Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni},
 year         = {2013},
 title        = {Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7737},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-35873-9},
)
@proceedings(DBLP:conf/dagstuhl/2007rt,
 editor       = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch{\"{a}}tz},
 year         = {2011},
 title        = {Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {6100},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-16277-0},
)
@proceedings(DBLP:journals/corr/GosslerS16,
 editor       = {G{\"{o}}{\ss}ler, Gregor and Oleg Sokolsky},
 year         = {2016},
 title        = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016},
 series       = {{EPTCS}},
 volume       = {224},
 doi          = {10.4204/EPTCS.224},
)
@inproceedings(DBLP:conf/sum/Halpern11,
 author       = {Joseph Y. Halpern},
 year         = {2011},
 title        = {Causality, Responsibility, and Blame: {A} Structural-Model Approach},
 editor       = {Benferhat and Grant},
 pages        = {1},
 doi          = {10.1007/978-3-642-23963-2\_1},
)
@inproceedings(DBLP:conf/nsdi/KazemianVM12,
 author       = {Peyman Kazemian and George Varghese and Nick McKeown},
 year         = {2012},
 title        = {Header Space Analysis: Static Checking for Networks},
 booktitle    = {Proceedings of the 9th {USENIX} Symposium on Networked Systems Design and Implementation, {NSDI} 2012, San Jose, CA, USA, April 25-27, 2012},
 pages        = {113--126},
 url          = {https://www.usenix.org/conference/nsdi12/technical-sessions/presentation/kazemian},
)
@article(DBLP:journals/jsac/KnightNFBR11,
 author       = {Simon Knight and Hung X. Nguyen and Nick Falkner and Rhys Alistair Bowden and Matthew Roughan},
 year         = {2011},
 title        = {The Internet Topology {Z}oo},
 journal      = {{IEEE} Journal on Selected Areas in Communications},
 volume       = {29},
 number       = {9},
 pages        = {1765--1775},
 doi          = {10.1109/JSAC.2011.111002},
)
@article(DBLP:journals/iandc/Kozen94,
 author       = {Dexter Kozen},
 year         = {1994},
 title        = {A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events},
 journal      = {Inf. Comput.},
 volume       = {110},
 number       = {2},
 pages        = {366--390},
 doi          = {10.1006/inco.1994.1037},
)
@article(DBLP:journals/toplas/Kozen97,
 author       = {Dexter Kozen},
 year         = {1997},
 title        = {Kleene Algebra with Tests},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {19},
 number       = {3},
 pages        = {427--443},
 doi          = {10.1145/256167.256195},
)
@inproceedings(DBLP:conf/vmcai/Leitner-FischerL13,
 author       = {Leitner{-}Fischer, Florian and Stefan Leue},
 year         = {2013},
 title        = {Causality Checking for Complex System Models},
 editor       = {Giacobazzi},
 pages        = {248--267},
 doi          = {10.1007/978-3-642-35873-9\_16},
)
@article(Lew73,
 author       = {D. Lewis},
 year         = {1973},
 title        = {Causation},
 journal      = {Journal of Philosopy},
 volume       = {70},
 pages        = {556--567},
 doi          = {10.2307/2025310},
)
@article(DBLP:journals/ccr/McKeownABPPRST08,
 author       = {Nick McKeown and Tom Anderson and Hari Balakrishnan and Guru M. Parulkar and Larry L. Peterson and Jennifer Rexford and Scott Shenker and Jonathan S. Turner},
 year         = {2008},
 title        = {Open{F}low: enabling innovation in campus networks},
 journal      = {Computer Communication Review},
 volume       = {38},
 number       = {2},
 pages        = {69--74},
 doi          = {10.1145/1355734.1355746},
)
@proceedings(DBLP:conf/rta/1999,
 editor       = {Paliath Narendran and Micha{\"{e}}l Rusinowitch},
 year         = {1999},
 title        = {Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1631},
 publisher    = {Springer},
 doi          = {10.1007/3-540-48685-2},
)
@article(root-fail-netkat,
 author       = {István Pelle and András Gulyás},
 year         = {2019},
 title        = {An Extensible Automated Failure Localization Framework Using {NetKAT}, {Felix}, and {SDN} Traceroute},
 journal      = {Future Internet},
 volume       = {11},
 number       = {5},
 doi          = {10.3390/fi11050107},
 url          = {https://www.mdpi.com/1999-5903/11/5/107},
)
@proceedings(DBLP:conf/dsl/2009,
 editor       = {Walid Mohamed Taha},
 year         = {2009},
 title        = {Domain-Specific Languages, {IFIP} {TC} 2 Working Conference, {DSL} 2009, Oxford, UK, July 15-17, 2009, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5658},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-03034-5},
)
@inproceedings(DBLP:conf/dsl/VoellmyH09,
 author       = {Andreas Voellmy and Paul Hudak},
 year         = {2009},
 title        = {Nettle: {A} Language for Configuring Routing Networks},
 editor       = {Taha},
 pages        = {211--235},
 doi          = {10.1007/978-3-642-03034-5_11},
)
@inproceedings(DBLP:conf/sigcomm/VoellmyWYFH13,
 author       = {Andreas Voellmy and Junchang Wang and Yang Richard Yang and Bryan Ford and Paul Hudak},
 year         = {2013},
 title        = {Maple: simplifying {SDN} programming using algorithmic policies},
 booktitle    = {{ACM} {SIGCOMM} 2013 Conference, SIGCOMM'13, Hong Kong, China, August 12-16, 2013},
 pages        = {87--98},
 doi          = {10.1145/2486001.2486030},
)