I am very proud to announce that I will spend a month at George Mason University, Fairfax VA, USA as visiting professor. I will give a seminar about Multiformalism modeling and its application and will work with prof. Alexander H. Levis at the System Architectures Lab. I take the chance here to thank Alex Levis for all his help and support and his amazing guidance.