@conference{EckhardtAndWirsing,
author = "Jonas Eckhardt and Tobias M\ and Musab AlTurki and Jos\'{e} Meseguer and Martin Wirsing",
booktitle = "15th International Conference on Fundamentals of Software Engineering (FASE'12)",
doi = "10.1007/978-3-642-34005-5_4",
editor = "Lara, Juan and Zisman, Andrea",
note = "PARTNERS: LMU and partners outside NESSoS (TU, Augsburg, Illinois);
PROJECTS: NESSoS;
NoTier
cites:17",
publisher = "Springer",
series = "LNCS",
title = "{S}table {A}vailability under {D}enial of {S}ervice {A}ttacks through {F}ormal {P}atterns",
year = "2012",
}