B. Claudel, Q. Sabah, and J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, volume 9039 of Lecture Notes in Computer Science, Springer, (2015)
M. Wegiel, and C. Krintz. Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 223--240. ACM, (2010)