. Modélisation, Simulation, Vérification des Grands RRB: Conclusion et perspectives (5/5) Résumé des contributions