@misc{indiciae14d4ad2d3110,
  title = {SMC4PEP: Stochastic Model Checking of Product Engineering Processes},
  author = {Hassan Hage and Emmanouil Seferis and Vahid Hashemi and Frank Mantwill},
  year = {2022},
  url = {https://arxiv.org/abs/2203.06974},
  note = {Source identifier: 2203.06974}
}