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