Describir: Enhancing Security, Safety, and Reliability of Modern Cyber-Physical Systems