You are about to access our book library "Engineering Safe and Secure Cyber-Physical Systems: The Specification PEARL Approach (Studies in Computational Intelligence, 632) full version" .