@misc{444,
  author = {Abhishek Dubey},
  title = {A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems},
  year = {2009},
  journal = {ISIS Technical Report},
  number = {ISIS-09-112},
  month = {11/2009},
  isbn = {ISIS-09-112},
}