Ground proximity warning mission system dynamic safety modeling based on SoTeRiA | IEEE Conference Publication | IEEE Xplore