On effectiveness of game theoretic modeling and analysis against cyber threats for avionic systems | IEEE Conference Publication | IEEE Xplore