Engineering Safe and Secure Cyber-Physical Systems: The Specification PEARL Approach (Studies in Computational Intelligence) | DealShopping Deutschland