CAREER: Formal TOols foR SafEty aNd Security of Industrial Control Systems (FORENSICS)