On June 26, our group was visited by Prof. Stefano Russo, Domenico Cotroneo and Marcello Cinque from the Unversity of Naples "Federico II". Prof. Russo, who is our partner in the CECRIS project, presented their results in the field of model based design, testing, and system monitoring.