Software systems are now ubiquitous and are used every day for automation purposes in personal and enterprise applications; they are also essential to many safety-critical and mission-critical systems. e. g. air traffic control systems. https://www.remtavares.com/