Automation and liability in ATM as fundamental issues in socio-technical systems