Verifying Data Secure Flow in AUTOSAR Models by Static Analysis In Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ForSE, 704-713, 2017 , Porto, Portugal