Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper)