Metamorphic Testing of Autonomous Vehicles: A Case Study on Simulink | Publicación