@Other{Dimitrova_2006,
title={Model checking with abstraction refinement for well-structured systems},
author={Dimitrova, Rayana},
doi={http://dx.doi.org/10.22028/D291-25903},
year={2006}
}