The session shall give an overview on the challenges and trends.  The first talk by Janos Szti-panovits will give an overview on the field.  The second talk by Albert Benveniste will introduce to modelling and analysis theory focusing on the important area of networked control.  The third talk by Lothar Thiele will outline systematic verification and optimisation techniques using a challenging sensor network application.