@article{Krichen_2012,
    doi = {10.1504/ijccbs.2012.045075},
    url = {https://doi.org/10.1504%2Fijccbs.2012.045075},
    year = {2012},
    publisher = {Inderscience Publishers},
    volume = {3},
    number = {1/2},
    pages = {26},
    author = {Moez Krichen},
    title = {A formal framework for black-box conformance testing of distributed real-time systems},
    journal = {International Journal of Critical Computer-Based Systems}
}

@article{Krichen_2012, doi = {10.1504/ijccbs.2012.045075}, url = {https://doi.org/10.1504%2Fijccbs.2012.045075}, year = {2012}, publisher = {Inderscience Publishers}, volume = {3}, number = {1/2}, pages = {26}, author = {Moez Krichen}, title = {A formal framework for black-box conformance testing of distributed real-time systems}, journal = {International Journal of Critical Computer-Based Systems} }