more to come
Merge branch 'master' of https://github.com/SoftwareArchitecture/collision_detection_aadl