Jun Pang Jaco van de Pol Miguel Valero Espada Abstraction of Parallel Uniform Processes with Data. 14-23 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.4 db/conf/sefm/sefm2004.html#PangPE04