@inproceedings{ALRS19,
	author = {Andr{\'e}, {\'E}tienne and Lime, Didier and Ramparison, Mathias and Stoelinga, Mariëlle},
	title = {Parametric analyses of attack-fault trees},
	longbooktitle = {Proceedings of the 19th International Conference on Application of Concurrency to System Design ({ACSD} 2019)},
	booktitle = {{ACSD}},
	editor = {Keller, Jörg and Penczek, Wojciech},
	location = {Aachen, Germany},
	eventdate = {2019-06-27},
	pages     = {33--42},
	publisher = {{IEEE}},
	year = {2019},
	doi       = {10.1109/ACSD.2019.00008},
	keywords = {intc},
	coreRank = {B},
}