S. Benford, M. Calder, T. Rodden, and M. Sevegnani, On lions, impala, and bigraphs: Modelling interactions in physical/virtual spaces, ACM Trans. Comput.-Hum. Interact, vol.23, p.56, 2016.

M. Calder, A. Koliousis, M. Sevegnani, and J. Sventek, Real-time verification of wireless home networks using bigraphs with sharing, Science of Computer Programming, vol.80, pp.288-310, 2014.

X. Fang and I. Bate, Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems, Proceedings of the 1st ACM Int, pp.32-39, 2017.

M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning About Systems, 2004.

A. Mansutti, M. Miculan, and M. Peressotti, Multi-agent systems design and prototyping with bigraphical reactive systems, Distributed Applications and Interoperable Systems, pp.201-208, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01287744

R. Milner, The Space and Motion of Communicating Agents, 2009.

C. Mouradian, D. Naboulsi, S. Yangui, R. H. Glitho, M. J. Morrow et al., A comprehensive survey on fog computing: State-of-the-art and research challenges, IEEE Communications Surveys Tutorials, vol.20, issue.1, pp.416-464, 2018.

D. Nagothu, R. Xu, S. Y. Nikouei, and Y. L. Chen, A microservice-enabled architecture for smart surveillance using blockchain technology, IEEE Int. Smart Cities Conference (ISC2), pp.1-4, 2018.

H. Sahli, F. Belala, and C. Bouanaka, A brs-based approach to model and verify cloud systems elasticity, 1st Int. Conference on Cloud Forward: From Distributed to Complete Computing, vol.68, pp.29-41, 2015.

H. Sahli, N. Hameurlain, and F. Belala, A bigraphical model for specifying cloudbased elastic systems and their behaviour, Int. Journal of Parallel, Emergent and Distributed Systems, vol.32, issue.6, pp.593-616, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01906821

M. Sevegnani, M. Kabac, M. Calder, and J. Mccann, Modelling and verification of large-scale sensor network infrastructures, 2018 23rd Int. Conference on Engineering of Complex Computer Systems (ICECCS), pp.71-81, 2018.

C. Tsigkanos, T. Kehrer, and C. Ghezzi, Modeling and verification of evolving cyberphysical spaces, Proceedings of the 11th Joint Meeting on Foundations of Software Engineering, pp.38-48, 2017.

Y. Xia, X. Etchevers, L. Letondeur, T. Coupaye, and F. Desprez, Combining hardware nodes and software components ordering-based heuristics for optimizing the placement of distributed iot applications in the fog, 33rd Annual ACM Symposium on Applied Computing, pp.751-760, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01908928

A. Yousefpour, C. Fung, T. Nguyen, K. Kadiyala, F. Jalali et al., All one needs to know about fog computing and related edge computing paradigms: A complete survey, Journal of Systems Architecture, 2019.