“…IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems…”