Typos in all sections fixed. Consistency of spelling checked (e.g. SCADE instead of Scade).