@article{Finkbeiner_2005,
    doi = {10.1007/s10703-005-3399-3},
    url = {https://doi.org/10.1007%2Fs10703-005-3399-3},
    year = {2005},
    month = {nov},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {27},
    number = {3},
    pages = {253--274},
    author = {Bernd Finkbeiner and Sriram Sankaranarayanan and Henny B. Sipma},
    title = {Collecting Statistics Over Runtime Executions},
    journal = {Formal Methods in System Design}
}

@article{Finkbeiner_2005, doi = {10.1007/s10703-005-3399-3}, url = {https://doi.org/10.1007%2Fs10703-005-3399-3}, year = {2005}, month = {nov}, publisher = {Springer Science and Business Media {LLC}}, volume = {27}, number = {3}, pages = {253--274}, author = {Bernd Finkbeiner and Sriram Sankaranarayanan and Henny B. Sipma}, title = {Collecting Statistics Over Runtime Executions}, journal = {Formal Methods in System Design} }