Towards synthesis of platform-aware attack-resilient control systems