SMS:RMA2 Model Check