Protected: Technical Report Released: Model-based Engineering for Functional Risk Assessment and Design of Cyber Resilient Systems