An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System | IEEE Conference Publication | IEEE Xplore