to the development of SW solutions for safety-critical applications in an exciting area of the Air Trafic Control domain analysing requirements,...