A formal approach to context scheduling for multicontext reconfigurable architectures | Publicación