Model Translation from Papyrus-RT into the nuXmv Model Checker. - Sneha Sahu; Ruth Schorr; Inmaculada Medina-Bulo; Matthias F. Wagner (SEFM, 2020)