GitHub repository: mikekab/collision_detection_aadl
Description: A AADL model of a collision prevention system for use in a telematics architecture