Leram - Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach (English Edition)