@mastersthesis{Prosser1994,
  title = {Centralized supervisory control of discrete-event systems},
  year = {1994},
  school = {Drexel University},
  type = {masters},
  author = {Prosser, Joseph H.}
}