@book(CBaierPrincipModelChecking,
 author       = {C. Baier and J. P. Katoen},
 year         = {April 2008},
 title        = {Principles of model checking},
 publisher    = {The MIT Press},
)
@article(CloostermanetalStabilNCStimevar,
 author       = {M. B. G. Cloosterman and N. van de Wouw and W. P. M. H. Heemels and H. Nijmeijer},
 year         = {2009},
 title        = {Stability of Networked Control Systems With Uncertain Time-Varying Delays},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {54},
 number       = {7},
 pages        = {1575--1580},
 doi          = {10.1109/TAC.2009.2015543},
)
@incollection(HeemelsStabilNCSchapter,
 author       = {W. P. M. H. Heemels and N. van de Wouw},
 year         = {2010},
 title        = {Stability and Stabilization of Networked Control Systems},
 editor       = {Alberto Bemporad and Maurice Heemels and Mikael Johansson},
 booktitle    = {Networked Control Systems},
 publisher    = {Springer London},
 address      = {London},
 pages        = {203--253},
 doi          = {10.1007/978-0-85729-033-5_7},
)
@inproceedings(mkhaledallerton16,
 author       = {M. Khaled and M. Rungger and M. Zamani},
 year         = {2016},
 title        = {Symbolic models of networked control systems: A feedback refinement relation approach},
 booktitle    = {54th Annual Allerton Conference on Communication, Control, and Computing (Allerton)},
 pages        = {187--193},
 doi          = {10.1109/ALLERTON.2016.7852228},
)
@inproceedings(MZ,
 author       = {R. Majumdar and M. Zamani},
 year         = {2012},
 title        = {Approximately Bisimilar Symbolic Models for Digital Control Systems},
 editor       = {P. Madhusudan and Sanjit A. Seshia},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {362--377},
 doi          = {10.1007/978-3-642-31424-7_28},
)
@inproceedings(MalerPnueliSifakis95,
 author       = {O. Maler and A. Pnueli and J. Sifakis},
 year         = {1995},
 title        = {On the synthesis of discrete controllers for timed systems},
 editor       = {Ernst W. Mayr and Claude Puech},
 booktitle    = {12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95)},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {229--242},
 doi          = {10.1007/3-540-59042-0_76},
)
@article(DNesicDLiberzonUniFrameworkNCS,
 author       = {D. Nesic and D. Liberzon},
 year         = {2009},
 title        = {A Unified Framework for Design and Analysis of Networked and Quantized Control Systems},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {54},
 number       = {4},
 pages        = {732--747},
 doi          = {10.1109/TAC.2009.2014930},
)
@inproceedings(OMNETPP,
 author       = {OpenSim-Ltd.},
 title        = {OMNeT++, a Discrete Event Simulator},
 url          = {https://omnetpp.org},
)
@inproceedings(StateVis,
 author       = {A. J. Pretorius and J. J. van Wijk},
 title        = {StateVis, Multidimensional visualization of transition systems},
 url          = {http://www.win.tue.nl/vis1/home/apretori/statevis/},
)
@article(GReissigetalFRRTAC,
 author       = {G. Reissig and A. Weber and M. Rungger},
 year         = {April 2017},
 title        = {Feedback Refinement Relations for the Synthesis of Symbolic Controllers},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {62},
 number       = {4},
 pages        = {1781--1796},
 doi          = {10.1109/TAC.2016.2593947},
)
@inproceedings(SCOTS,
 author       = {M. Rungger and M. Zamani},
 year         = {2016},
 title        = {SCOTS: A Tool for the Synthesis of Symbolic Controllers},
 booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
 series       = {HSCC '16},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {99--104},
 doi          = {10.1145/2883817.2883834},
)
@manual(CUDDLIBMANUAL,
 author       = {F. Somenzi},
 year         = {2015},
 title        = {{CUDD}: {CU} Decision Diagram Package},
 edition      = {3.0.0},
 url          = {http://vlsi.colorado.edu/~fabio/CUDD/cudd.pdf},
)
@book(PTabuadaVCHSSymbolic,
 author       = {P. Tabuada},
 year         = {2009},
 title        = {Verification and control of hybrid systems, A symbolic approach},
 publisher    = {Springer US},
 doi          = {10.1007/978-1-4419-0224-5},
)
@inproceedings(WThomasSynthesisStrategiesinfGames,
 author       = {W. Thomas},
 year         = {1995},
 title        = {On the synthesis of strategies in infinite games},
 editor       = {Ernst W. Mayr and Claude Puech},
 booktitle    = {12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95)},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {1--13},
 doi          = {10.1007/3-540-59042-0_57},
)
@inproceedings(FSMFormat,
 author       = {TU/e Technische Universiteit Eindhoven, Netherlands},
 title        = {A short note on the FSM data format},
 url          = {http://www.win.tue.nl/vis1/home/apretori/data/fsm.html},
)
@article(WouwetalDiscStabilNCS,
 author       = {N. van de Wouw and Ne{\v s}i{\'c}, D. and W.P.M.H. Heemels},
 year         = {2012},
 title        = {A discrete-time framework for stability analysis of nonlinear networked control systems},
 journal      = {Automatica},
 volume       = {48},
 number       = {6},
 pages        = {1144 -- 1153},
 doi          = {10.1016/j.automatica.2012.03.005},
)
@article(zamani,
 author       = {M. Zamani and M. Mazo Jr and M. Khaled and A. Abate},
 year         = {accepted, to appear},
 title        = {Symbolic Abstractions of Networked Control Systems},
 journal      = {IEEE Transactions on Control of Network Systems},
 doi          = {10.1109/TCNS.2017.2739645},
 url          = {https://arxiv.org/abs/1401.6396},
)
@inproceedings(MZamanietalSCFiniteAbsNCS,
 author       = {M. Zamani and M. Mazo and A. Abate},
 year         = {2014},
 title        = {Finite abstractions of networked control systems},
 booktitle    = {53rd IEEE Conference on Decision and Control},
 pages        = {95--100},
 doi          = {10.1109/CDC.2014.7039365},
)
@article(MZamanietalSCNonlinNoStabilAssump,
 author       = {M. Zamani and G. Pola and {Mazo Jr.}, M. and P. Tabuada},
 year         = {2012},
 title        = {Symbolic Models for Nonlinear Control Systems Without Stability Assumptions},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {57},
 number       = {7},
 pages        = {1804--1809},
 doi          = {10.1109/TAC.2011.2176409},
)