Digital Object Identifier (DOI) https://doi.org/10.1109/rtas.2019.00032 https://doi.org/10.1109/rtas.2019.00032