Formal Methods for Open Object-Based Distributed Systems V | lit.salon