@doctoralThesis{Kupriyanov_2016,
title={Causality-based verification},
author={Kupriyanov, Andrey},
doi={http://dx.doi.org/10.22028/D291-26676},
year={2016}
}