@inproceedings{firozabadi1998towards,
  title = {Towards a formal analysis of control systems},
  author = {Firozabadi, B.S. and van der Torre, L.W.N.},
  booktitle = {Proceedings of the ECAI},
  volume = {98},
  pages = {317--318},
  year = {1998},
  organization = {Citeseer},
  url = {http://icr.uni.lu/leonvandertorre/papers/ecai98yr1.ps.Z}
}