Semantic-Aware Stealthy Control Logic Infection Attack