Challenges of Privacy Requirements Modelling in V2X Applications: A Telematic Insurance Case Study | IEEE Conference Publication | IEEE Xplore