Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs, International Conference on Formal Methods for Open Object-Based Distr et al & Arend Rensink