Towards Integrating Interface Behavior Models for Components of Distributed Control Software | IEEE Conference Publication | IEEE Xplore