@misc{indiciaef44a3256ec88,
  title = {White-box validation of quantitative product lines by statistical model checking and process mining},
  author = {Roberto Casaluce and Andrea Burattin and Francesca Chiaromonte and Alberto Lluch Lafuente and Andrea Vandin},
  year = {2024},
  url = {https://arxiv.org/abs/2401.13019},
  note = {Source identifier: 2401.13019}
}