Modeling of V2V Communications for C-ITS Safety Applications: A CPS Perspective | Synapse