@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},
  Year                     = {1998},
  Organization             = {Citeseer},
  Pages                    = {317--318},
  Volume                   = {98},

  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ecai98yr1.ps.Z}
}