1. MODELING SEMANTIC KNOWLEDGE IN ERLANG FOR REFACTORING. Authors: ZOLTÁN HORVÁTH, LÁSZLÓ LÖVEI, TAMÁS KOZSIK, RÓBERT KITLEI, ANIKÓ NAGYNÉ VÍG, TAMÁS NAGY, MELINDA TÓTH, ROLAND KIRÁLY.2. USING IMPACT ANALYSIS BASED KNOWLEDGE FOR VALIDATING REFACTORING STEPS. Authors: ZOLTÁN HORVÁTH, RÓBERT KITLEI, MELINDA TÓTH.3. WORKFLOW DESCRIPTION IN CYBER-PHYSICAL SYSTEMS TAMÁS KOZSIK, . Authors: MELINDA TÓTH, ZOLTÁN HORVÁTH.4. REDUCTION OF REGRESSION TESTS FOR ERLANG BASED ON IMPACT ANALYSIS. Authors: MELINDA TÓTH, ZOLTÁN HORVÁTH.