Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems