Frage zu Artikel "Formal Methods for Open Object-based Distributed.."