Programming Massively Parallel Architectures using MARTE: a Case Study