Object-Oriented Modeling and Analysis of Distributed Systems -- Automated Detection of