@incollection{Aichernig_2013,
    doi = {10.1007/978-3-642-38916-0_2},
    url = {https://doi.org/10.1007%2F978-3-642-38916-0_2},
    year = {2013},
    publisher = {Springer Berlin Heidelberg},
    pages = {20--38},
    author = {Bernhard K. Aichernig and Florian Lorber and Dejan Ni{\v{c}}kovi{\'{c}}},
    title = {Time for Mutants - Model-Based Mutation Testing with Timed Automata},
    booktitle = {Tests and Proofs}
}

@incollection{Aichernig_2013, doi = {10.1007/978-3-642-38916-0_2}, url = {https://doi.org/10.1007%2F978-3-642-38916-0_2}, year = {2013}, publisher = {Springer Berlin Heidelberg}, pages = {20--38}, author = {Bernhard K. Aichernig and Florian Lorber and Dejan Ni{\v{c}}kovi{\'{c}}}, title = {Time for Mutants - Model-Based Mutation Testing with Timed Automata}, booktitle = {Tests and Proofs} }