@doctoralThesis{Rybalchenko_2004,
title={Temporal verification with transition invariants},
author={Rybalchenko, Andrey},
doi={http://dx.doi.org/10.22028/D291-25890},
year={2004}
}