The model is simple, each version 'expires' and falls into free software domain after some specific time. If you stop making useful new releases your users fork the last good release. That's it, no need for more complex mechanisms.