@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",
 note         = "Available from: \texttt {http://se.wtb.tue.nl}",
)
@inproceedings(BLMT10,
 author       = "J. C. M. Baeten and B. Luttik and T. Muller and P. van Tilburg",
 year         = "2010",
 title        = "Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (extended abstract)",
 booktitle    = "Proceedings of {EXPRESS} 2010",
 series       = "Electronic Proceedings of Theoretical Computer Science",
 volume       = "41",
 pages        = "1--15",
 doi          = "10.4204/EPTCS.41.1",
)
@book(pabookold,
 author       = "J. C. M. Baeten and W. P. Weijland",
 year         = "1990",
 title        = "Process algebra",
 series       = "Cambridge Tracts in Theoretical Computer Science",
 volume       = "18",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511624193",
)
@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",
)
@article(iosupervisor,
 author       = "S. Balemi and G. J. Hoffmann and P. Gyugyi and H. Wong-Toi and G. F. Franklin",
 year         = "1993",
 title        = "Supervisory control of a rapid thermal multiprocessor",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "38",
 number       = "7",
 pages        = "1040 --1059",
)
@article(lafortunebisimulation,
 author       = "G. Barrett and S. Lafortune",
 year         = "1998",
 title        = "Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines",
 journal      = "Discrete Event Dynamic Systems",
 volume       = "8",
 number       = "4",
 pages        = "377--429",
 doi          = "10.1023/A:1008301317459",
)
@inproceedings(asynchronous,
 author       = "H. Beohar and P.J.L. Cuijpers",
 year         = "2010",
 title        = "A theory of desynchronisable closed loops system",
 booktitle    = "Proceedings of ICE 2010",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "38",
 publisher    = "Open Publishing Association",
 pages        = "99--114",
 doi          = "10.4204/EPTCS.38.10",
)
@book(Cassandras,
 author       = "C. Cassandras and S. Lafortune",
 year         = "2004",
 title        = "Introduction to discrete event systems",
 publisher    = "Kluwer Academic Publishers",
)
@article(PCXG,
 author       = "V. Chandra and Z. Huang and W. Qiu and R. Kumar",
 year         = "2004",
 title        = "Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems",
 journal      = "Mathematical and Computer Modelling of Dynamical Systems",
 volume       = "9",
 number       = "3",
 pages        = "255 -- 280",
)
@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",
)
@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",
)
@techreport(nasa-algebra,
 author       = "M. Heymann and G. Meyer",
 year         = "1991",
 title        = "Algebra of discrete event processes",
 type         = "Technical Report NASA",
 number       = "102848",
 institution  = "NASA Ames Research Center",
)
@article(kumar-prioritized,
 author       = "R. Kumar and M. A. Shayman",
 year         = "1996",
 title        = "Nonblocking Supervisory Control of Nondeterministic Systems via Prioritized Synchronization",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "41",
 number       = "8",
 pages        = "1160--1175",
 doi          = "10.1109/9.533677",
)
@article(kumar-simulation,
 author       = "R. Kumar and C. Zhou",
 year         = "2007",
 title        = "Control of Nondeterministic Discrete Event Systems for Simulation Equivalence",
 journal      = "IEEE Transactions on Automation Science and Engineering",
 volume       = "4",
 number       = "3",
 pages        = "340--349",
 doi          = "10.1109/TASE.2006.891474",
)
@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(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",
)
@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",
)
@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(Plo04a,
 author       = "G. D. Plotkin",
 year         = "2004",
 title        = "A structural approach to operational semantics",
 journal      = "The Journal of Logic and Algebraic Programming",
 volume       = "60-61",
 pages        = "17--139",
 doi          = "10.1016/j.jlap.2004.05.001",
)
@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(tabuadabisimulation,
 author       = "P. Tabuada",
 year         = "2008",
 title        = "Controller synthesis for bisimulation equivalence",
 journal      = "Systems and Control Letters",
 volume       = "57",
 number       = "6",
 pages        = "443--452",
 doi          = "10.1016/j.sysconle.2007.11.005",
)
@inproceedings(iokumar,
 author       = "S. Xu and R. Kumar",
 year         = "2008",
 title        = "Asynchronous implementation of synchronous discrete event control",
 booktitle    = "Proceedings of WODES 2008",
 publisher    = "IEEE",
 pages        = "181 --186",
)
@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",
)