User Interface Dependability through Goal-Error Prevention | Synapse