A digital twin and STPA integrated framework for defect detection in autonomous driving systems | Synapse