Merge branch 'master' of https://github.com/AdaCore/RESSAC_Use_Case

README.md

 # RESSAC_Use_Case
 A Collaborative Development Assurance Lab
+
+
+
+Welcome to the RESSAC GitHub,
+
+RESSAC is an open project devoted to experimenting new approaches to aeronautic system, software, and hardware development assurance.
+It originated from an FAA initiative named "Streamlining Development Assurance" (November 2015).
+It is hosted by IRT St Exupery (Toulouse FRANCE).
+
+As of 01/10/2016 the specification of the use case is available in the UseCaseSpecification directory.
+The other folders are empty.