Ensured Paused comes from Active.
The Paused status could have been reached from any other status.
This has still to be enhanced according to #10.