@misc{indiciae5793eba5cf40,
  title = {Timed Test Case Generation Using Labeled Prioritized Time Petri Nets},
  author = {Noureddine Adjir and Pierre de Saqui Sannes and M. Kamel Rahmouni and Abdelkader Adla},
  year = {2012},
  url = {https://arxiv.org/abs/1206.0788},
  note = {Source identifier: 1206.0788}
}