Assurance Levels for ATM elements: Human (HAL), Operational Procedure (PAL), Software (SWAL) | IET Conference Publication | IEEE Xplore