OCCAM prototyping of massively parallel applications from colored Petri-nets | IEEE Conference Publication | IEEE Xplore