Tutorial announcement --------------------- "Safety, Dependability and Performance Analysis of Extended AADL Models" Presenters: M. Bozzano, A. Cimatti, J.-P. Katoen, T. Noll in conjunction with the 17th Int. Symposium on Formal Methods (FM 2011) June 21, 2011, Lero, Limerick, Ireland. The tutorial will present a component-based modeling approach to system-software co-engineering of real-time embedded systems, in particular aerospace systems, and will be accompanied by a demo of the COMPASS toolset. Fore more information on the tutorial, please visit: http://sites.lero.ie/fm2011/Tutorial6.html and the web site of the FM 2011 Symposium: http://sites.lero.ie/fm2011 Best regards, The COMPASS Consortium