Formalization of a software architecture for embedded systems: a process algebra for SPLICE | IEEE Conference Publication | IEEE Xplore