We addressed the problem of integrating behavioural types to reason about properties of applications running on Actyx platform. In particular, we developed a formal model for the Actyx platform. The