Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate | IEEE Conference Publication | IEEE Xplore