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