A modular approach enforcing safe reconfiguration of producer-consumer applications | IEEE Conference Publication | IEEE Xplore