Huisman M. Formal Techniques for Distributed Objects, Components,...Systems 2023