Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 | Kaicus Deutschland