Dominique Méry has created the MOSEL team which was first called MODEL. The main topics are formal methods (Event-B, TLA+, …) and applications as distributed systems, medical devices, control theory….
The MOSEL team shares members with the VERIDIS INRIA project.