Added paragraph on xTEDS in the State of the Art.
Finished the first draft of the SPA State of the Art.
Updated introduction to define various safety-critical terms.
Removed Ada and dependability parts from SOTA and literature study sections.