Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services. - Hugo Leonardo da Silva Araujo; Ties Hoenselaar; Mohammad Reza Mousavi 001; Alexey V. Vinel (PIMRC, 2020)