1. UML MODEL CHECKING. Authors: DAN CHIOREAN, ADRIAN CARCU, MIHAI PASCA, CRISTIAN BOTIZA, HORIA CHIOREAN, SORIN MOLDOVAN.2. COMPONENT MODELS` SIMULATION IN CONTRACTCML. Authors: VLADIELA PETRAŞCU, DRAGOŞ PETRAŞCU, DAN CHIOREAN.3. PROPOSAL OF A SET OF OCL WFRS FOR THE ECORE META-METAMODEL. Authors: VLADIELA PETRAŞCU, DAN CHIOREAN, DRAGOŞ PETRAŞCU.4. TOWARDS IMPROVING THE STATIC SEMANTICS OF XCORE. Authors: VLADIELA PETRAŞCU, DAN CHIOREAN.