https://123dok.net/document/zwvox3j1-visual-behavioral-modelling-with-contracts.html