A pivot modeling language for embedded systems (COCODEL: Communicating Component Description Langage) | IEEE Conference Publication | IEEE Xplore