@misc{indiciae0f2ce2ea90c2,
  title = {Computation of WCET using Program Slicing and Real-Time Model-Checking},
  author = {Jean-Luc Béchennec and Franck Cassez},
  year = {2011},
  url = {https://arxiv.org/abs/1105.1633},
  note = {Source identifier: 1105.1633}
}