Midd4VC: A Middleware for Vehicular Cloud Computing. - David J. M. Cavalcanti; Nelson S. Rosa; Paulo R. M. Maciel; Vinícius S. Almeida; Luiz G. P. S. Silva (ISC2, 2025)