More cleaning: add a state machine description to be implemented for PtimulusService