Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems | IEEE Conference Publication | IEEE Xplore