Convergence of physical system and cyber system modeling methods for aviation cyber physical control system | IEEE Conference Publication | IEEE Xplore