Conformance testing for the car lights system based on AUTOSAR standard | IEEE Conference Publication | IEEE Xplore