@inproceedings{RE-2012-CailliauL,
	author        = "Antoine Cailliau and Axel van Lamsweerde",
	booktitle     = "{Proceedings of the 20th International Requirements Engineering Conference}",
	doi           = "10.1109/RE.2012.6345805",
	isbn          = "978-1-4673-2783-1",
	pages         = "201--210",
	publisher     = "{IEEE Computer Society}",
	title         = "{A probabilistic framework for goal-oriented risk analysis}",
	year          = 2012,
}