@inproceedings(supremica,
 author       = "K. Akesson and M. Fabian and H. Flordal and R. Malik",
 year         = "2006",
 title        = "Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems",
 booktitle    = "Proceedings of WODES 2006",
 publisher    = "IEEE",
 pages        = "384 -- 385",
 doi          = "10.1109/WODES.2006.382401",
)
@book(pabook,
 author       = "J. C. M. Baeten and T. Basten and M. A. Reniers",
 year         = "2010",
 title        = "Process Algebra: Equational Theories of Communicating Processes",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "50",
 publisher    = "Cambridge University Press",
)
@inproceedings(acc2011,
 author       = "J. C. M. Baeten and D. A. van Beek and B. Luttik and J. Markovski and J. E. Rooda",
 year         = "2011",
 title        = "A Process-Theoretic Approach to Supervisory Control Theory",
 booktitle    = "Proceedings of ACC 2011",
 publisher    = "IEEE",
 pages        = "4496--4501",
)
@inproceedings(cosy2011,
 author       = "J. C. M. Baeten and J. M. van de Mortel-Fronczak and J. E. Rooda",
 year         = "2011",
 title        = "Integration {Of} {Supervisory} {Control} {Synthesis} {In} {Model-}{Based} {Systems} {Engineering}",
 booktitle    = "Proceedings of ETAI/COSY 2011",
 publisher    = "IEEE",
 pages        = "167 -- 178",
)
@inproceedings(PACO2011,
 author       = "J.C.M. Baeten and D.A. van Beek and A.C. van Hulst and J. Markovski",
 year         = "2011",
 title        = "A Process Algebra for Supervisory Coordination",
 booktitle    = "Proceedings of PACO 2011",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "60",
 publisher    = "Open Publishing Association",
 pages        = "36--55",
 doi          = "10.4204/EPTCS.60.3",
)
@article(signalsBaeten,
 author       = "J.C.M. Baeten and J.A. Bergstra",
 year         = "1997",
 title        = "Process algebra with propositional signals",
 journal      = "Theoretical Computer Science",
 volume       = "177",
 pages        = "381--405",
 doi          = "10.1016/S0304-3975(96)00253-8",
)
@techreport(reportPACO,
 author       = "J.C.M. Baeten and A.C. van Hulst and D.A. van Beek and J. Markovski",
 year         = "2012",
 title        = "Towards a Concurrency Theory for Supervisory Control",
 type         = "SE Report",
 number       = "2012-01",
 institution  = "Eindhoven University of Technology",
 url          = "http://se.wtb.tue.nl/sereports",
)
@book(Cassandras,
 author       = "C. Cassandras and S. Lafortune",
 year         = "2004",
 title        = "Introduction to discrete event systems",
 publisher    = "Kluwer Academic Publishers",
)
@article(fabiannondeterministic,
 author       = "M. Fabian and B. Lennartson",
 year         = "1996",
 title        = "On non-deterministic supervisory control",
 journal      = "Proceedings of the 35th IEEE Decision and Control",
 volume       = "2",
 pages        = "2213--2218",
 doi          = "10.1109/CDC.1996.572970",
)
@article(glabbeek,
 author       = "R. J. van Glabbeek",
 year         = "2001",
 title        = "The linear time{--}branching time spectrum {I}",
 journal      = "Handbook of Process Algebra",
 pages        = "3--99",
)
@article(heymann-nondeterministic,
 author       = "M. Heymann and F. Lin",
 year         = "1998",
 title        = "Discrete-Event Control of Nondeterministic Systems",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "43",
 number       = "1",
 pages        = "3--17",
 doi          = "10.1109/9.654883",
)
@article(CSP,
 author       = "C. A. R. Hoare",
 year         = "1978",
 title        = "Communicating sequential processes",
 journal      = "Commununications of the ACM",
 volume       = "21",
 number       = "8",
 pages        = "666--677",
 doi          = "10.1145/359576.359585",
)
@article(controlsoftware,
 author       = "N.G. Leveson",
 year         = "1990",
 title        = "The challenge of building process-control software",
 journal      = "IEEE Software",
 volume       = "7",
 number       = "6",
 pages        = "55--62",
 doi          = "10.1109/52.60589",
)
@book(MaWonham,
 author       = "C. Ma and W. M. Wonham",
 year         = "2005",
 title        = "Nonblocking Supervisory Control of State Tree Structures",
 series       = "Lecture Notes in Control and Information Sciences",
 volume       = "317",
 publisher    = "Springer",
)
@inproceedings(CDC2010,
 author       = "J. Markovski and D. A. van Beek and R. J. M. Theunissen and K. G. M. Jacobs and J. E. Rooda",
 year         = "2010",
 title        = "A State-Based Framework for Supervisory Control Synthesis and Verification",
 booktitle    = "Proceedings of CDC 2010",
 publisher    = "IEEE",
 pages        = "3481--3486",
 doi          = "10.1109/CDC.2010.5717095",
)
@inproceedings(wodes2010,
 author       = "J. Markovski and K. G. M. Jacobs and D. A. van Beek and L. J. A. M. Somers and J. E. Rooda",
 year         = "2010",
 title        = "Coordination of Resources using Generalized State-Based Requirements",
 booktitle    = "Proceedings of WODES 2010",
 publisher    = "IFAC",
 pages        = "300--305",
 doi          = "10.3182/20100830-3-DE-4013.00048",
)
@inproceedings(extendedguards,
 author       = "S. Miremadi and K. Akesson and B. Lennartson",
 year         = "2008",
 title        = "Extraction and representation of a supervisor using guards in extended finite automata",
 booktitle    = "Proceedings of WODES 2008",
 publisher    = "IEEE",
 pages        = "193--199",
 doi          = "10.1109/WODES.2008.4605944",
)
@article(tyftdata,
 author       = "M. R. Mousavi and M. A. Reniers and J. F. Groote",
 year         = "2005",
 title        = "Notions of bisimulation and congruence formats for {SOS} with data",
 journal      = "Information and Computation",
 volume       = "200",
 number       = "1",
 pages        = "107--147",
 doi          = "10.1016/j.ic.2005.03.002",
)
@article(overkamp-nondeterministic,
 author       = "A. Overkamp",
 year         = "1997",
 title        = "Supervisory Control Using Failure Semantics and Partial Specifications",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "42",
 number       = "4",
 pages        = "498--510",
 doi          = "10.1109/9.566659",
)
@article(rwsupervisor,
 author       = "P. J. Ramadge and W. M. Wonham",
 year         = "1987",
 title        = "Supervisory Control of a Class of Discrete-Event Processes",
 journal      = "SIAM Journal on Control and Optimization",
 volume       = "25",
 number       = "1",
 pages        = "206--230",
 doi          = "10.1137/0325013",
)
@techreport(coalgebra,
 author       = "J. J. M. M. Rutten",
 year         = "1999",
 title        = "Coalgebra, concurrency, and control",
 type         = "SEN Report",
 number       = "R-9921",
 institution  = "Center for Mathematics and Computer Science, Amsterdam, The Netherlands",
)
@article(mbescs,
 author       = "R. R. H. Schiffelers and R. J. M. Theunissen and D. A. van Beek and J. E. Rooda",
 year         = "2009",
 title        = "Model-Based Engineering of Supervisory Controllers using {CIF}",
 journal      = "Electronic Communications of the EASST",
 volume       = "21",
 pages        = "1--10",
)
@article(tabuadalinear,
 author       = "P. Tabuada and G. J. Pappas",
 year         = "2006",
 title        = "Linear Time Logic Control of Discrete-Time Linear Systems",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "51",
 number       = "12",
 pages        = "1862 -- 1877",
)
@article(kumarnondeterministic,
 author       = "C. Zhou and R. Kumar and S. Jiang",
 year         = "2006",
 title        = "Control of nondeterministic discrete-event systems for bisimulation equivalence",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "51",
 number       = "5",
 pages        = "754--765",
 doi          = "10.1109/TAC.2006.875036",
)