A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design