Probability-based codified design: past accomplishments and future challenges · Study