Flow semantics for intellectual control in IoT systems. Issue 2 (3rd April 2018)