@article{Ergurtuna_2021,
    doi = {10.1007/s00236-021-00403-z},
    url = {https://doi.org/10.1007%2Fs00236-021-00403-z},
    year = {2021},
    month = {jun},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {59},
    number = {2-3},
    pages = {183--209},
    author = {Mert Ergurtuna and Beyazit Yalcinkaya and Ebru Aydin Gol},
    title = {An automated system repair framework with signal temporal logic},
    journal = {Acta Informatica}
}

@article{Ergurtuna_2021, doi = {10.1007/s00236-021-00403-z}, url = {https://doi.org/10.1007%2Fs00236-021-00403-z}, year = {2021}, month = {jun}, publisher = {Springer Science and Business Media {LLC}}, volume = {59}, number = {2-3}, pages = {183--209}, author = {Mert Ergurtuna and Beyazit Yalcinkaya and Ebru Aydin Gol}, title = {An automated system repair framework with signal temporal logic}, journal = {Acta Informatica} }