The spread of network-based development platforms has made possible the exploitation of the processing power of multi-processor installations worldwide, provision of fault-tolerance and reliability in safety-critical systems, and the ability to deal with