@Article{BKPA09,
author={S. Basagiannis and P. Katsaros and A. Pombortsis and N. Alexiou},
title={Probabilistic model checking for the quantification of {DoS} security threats},
journal={Computers \& Security},
year={2009},

volume={},
number={},
pages={},
publisher={Elsevier},
month={},
note={},
key={}
}