Formal Algebraic Specification of an IoTFog Data Centre for Fat Tree or Leaf and Spine architectures Conference Paper 2020 Congress communication uri icon