1. Engineering safe and secure cyber-physical systems : the specification PEARL approach /: the specification PEARL approach. (2016) Authors: Gumzej, Roman Record Type: Book Extent: 1 online resource (xiii, 128 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗