Modelling and analysing IoT systems