Model Translation from Papyrus-RT into the nuXmv Model Checker.

Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner

Browse the full SEFM paper archive.