Levent Yilmaz: Specifying and Verifying Collaborative Behavior in Component-Based Systems. Virginia Tech, Blacksburg, VA, USA 2003