A resilience metric and its calculation for ship automation systems | IEEE Conference Publication | IEEE Xplore