CREDES Summer School : Dependable Systems Design : handouts
2011
http://www.ester.ee/record=b2891192*est