@misc{indiciae4fea5e1ef002,
  title = {Spreadsheet-based Configuration of Families of Real-Time Specifications},
  author = {José Proença and David Pereira and Giann Spilere Nandi and Sina Borrami and Jonas Melchert},
  year = {2023},
  doi = {10.4204/eptcs.392.2},
  url = {https://arxiv.org/abs/2310.20395},
  note = {Source identifier: 2310.20395}
}