Towards an algebra of architectural connectors: a case study on synchronization for mobility | IEEE Conference Publication | IEEE Xplore