Moda 7 - Advances In Model-Oriented Design And Analysis by Alessandro Di Bucchianico & Henning Lsuter