Program Design Environment for Multicore Processor Systems with Program Execution Controlled by Global States Monitoring | IEEE Conference Publication | IEEE Xplore