Translating hierarchical predicate transition nets to CC++ program skeletons | IEEE Conference Publication | IEEE Xplore