no image available Dickens & Co. "Battling the Beast: Taming State Space Explosion in Industrial Control Systems" "A Critical Examination of Formal Methods in Preventing Catastrophic Consequences" Price: 31.00€