The article “Robustness Analysis of PLC Programs With Respect to Sensor Interaction in IoT”, by Manali Chakraborty, Agostino Cortesi, Pietro Ferrara and Sara Ferro, has just been published as a chapter of the book “Security in IoT”, published by Taylor&Francis. Available here: https://www.taylorfrancis.com/chapters/edit/10.1201/9781003149507-2/robustness-analysis-plc-programs-respect-sensor-interaction-iot-manali-chakraborty-agostino-cortesi-pietro-ferrara-sara-ferro
