Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems