A AADL model of a collision prevention system for use in a telematics architecture