A systematic approach for identifying operational relationships in embedded computer control systems | IEEE Conference Publication | IEEE Xplore