Ensuring the Reliability of an Autonomous Vehicle: A Formal Approach based on Component Interaction Protocols.