@inproceedings{ALM23,
  	author    = {Andr{\'e}, {\'E}tienne and Lefaucheux, Engel and Marinho, Dylan},
    author+an = {1=highlight},
    editor    = {Ait-Ameur, Yamine, and Khendek, Ferhat},
    title     = {Expiring opacity problems in parametric timed automata},
    year      = {2023},
    longbooktitle = {Proceedings of the 27th International Conference on Engineering of Complex Computer Systems ({ICECCS} 2023)},
    booktitle = {{ICECCS}},
    location  = {Toulouse, France},
    eventdate = {2023-06-12/2023-06-16},
    coreRank  = {Brank},
    toappear  = {true},
    note      = "Accepted",
    publisher = {Springer},
    pages     = {451--469},
    volume    = {13260},
    doi       = {}
}