Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach - Gumzej, Roman (Springer International Publishing : Imprint: Springer, 2016)