The lab is cooperating with Politechnico di Milano, Italy (Prof. Dr. Luciano Baresi, Dr. Sam Guinea, Dr. Clément Quinton) in the areas of constraint languages for runtime monitoring and dynamic software product lines. During a recent visit Michael Vierhauser and Rick Rabiser gave a talk at Politechnico di Milano on the REMINDS requirements monitoring infrastructure.