Dolphin: A Domain-Specific Language for Autonomous Vehicle Networks - Keila Mascarenhas de Oliveira Lima (2017)