Safety Analysis of Landing Control for Flying Cars Under Single-Pilot Operation (SPO) | Synapse