Michael Jackson. Behaviours as Design Components of Cyber-Physical Systems. In Bertrand Meyer, Martin Nordio, editors, Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures. Volume 8987 of Lecture Notes in Computer Science, pages 43-62, Springer, 2014. [doi]