@inproceedings{dsrt,
  author    = {Wissam Mallouli and Amel Mammar and Ana Rosa Cavalli},
  title     = "{Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines}",
  booktitle = {The 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT)},
  year      = {2008},
  address   = {Vancouver, British Columbia, Canada},
  month     = {October 27-29,},
}