* Continue the embedded control example, ability to generate
   FTA from model
Merge branch 'master' of https://github.com/osate/examples.git