@proceedings{jean_2016_57615, title = {{Safety considerations for WCET evaluation methods in avionic equipment}}, year = 2016, publisher = {Zenodo}, month = aug, doi = {10.5281/zenodo.57615}, url = {https://doi.org/10.5281/zenodo.57615} }