Engineering safe and secure cyber-physical systems the specification PEARL approach - Gumzej, Roman (Springer, 2016)