Cyber-security for embedded systems: methodologies, techniques and tools