@article{RNTI/papers/1000545,
  author    = {Saddek Bensalem and Moez Krichen and Lotfi Majdoub and Riadh Robbana and Stavros Tripakis},
  title     = {A Simplified Approach for Testing Real-Time Systems Based on Action Refinement},
  journal = {Revue des Nouvelles Technologies de l'Information},
  volume = {ISoLA 2007, Workshop on leveraging applications of formal methods, verification and validation,, RNTI-SM-1},
  year      = {2007},
  pages     = {189-200}
}