Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. - Mickaël Kerboeuf; Alain Plantec; Frank Singhoff; Arnaud Schach; Pierre Dissaux (ICECCS, 2010)