Formal Techniques for Distributed Objects Components and Systems | Kaicus Deutschland