A message-passing communication scheme for system specification | IEEE Conference Publication | IEEE Xplore