selected publications chapter Towards Formal Modelling and Verification of Pervasive Computing Systems. Lecture notes in computer science. 62-91. 2014