Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez: On liveness enforcement of DSSP net systems. CDC 2016: 3935-3941