S. Dietzel, J. Petit, G. Heijenk, and F. Kargl. Graph-Based Metrics for Insider Attack Detection in VANET Multihop Data Dissemination Protocols. IEEE Transactions on Vehicular Technology, IEEE, volume 62, issue 4, 2013. S. Dietzel, J. Petit, F. Kargl, and G. Heijenk. Short paper: Analyzing Dissemination Redundancy to Achieve Data Consistency in VANETs. Ninth ACM international workshop on VehiculAr InterNETworking (VANET), ACM, 2012. S. Dietzel, F. Kargl, G. Heijenk, and F. Schaub. Modeling in-Network Aggregation in VANETs. IEEE Communications Magazine, IEEE, volume 49, issue 11, 2011. S. Dietzel, F. Kargl, G. Heijenk, and F. Schaub. On the Potential of Generic Modeling for VANET Data Aggregation Protocols. 2nd IEEE Vehicular Networking Conference (VNC), IEEE, 2010.