%0 Journal Article 
%F DCL11
%A Delahaye, Benoît
%A Caillaud, Benoît
%A Legay, Axel
%T Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
%J Formal Methods in System Design
%V 38
%N 1
%P 1-32
%D 2011