AUTOSAR and FlexRay: A Tale of Two Standards