CASO Modelling and Synthesis