A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development | IEEE Conference Publication | IEEE Xplore