A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model | IEEE Journals & Magazine | IEEE Xplore