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