Using MAST for modeling and response-time analysis of real-time applications with GPUs | Publicación