Safety-critical design of electromechanical actuation systems in commercial aircraft | Synapse