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