When libosmocore/contrib/fsm-to-dot.py hinted me at errors in the new gscon FSM in osmo-bsc, I took a moment to render and look at all our FSM definitions.
The osmo-bsc ones are fixed by https://gerrit.osmocom.org/7501 I also found OS#3110 and OS#3111
I published the FSM graphs as rendered today at http://people.osmocom.org/neels/osmo_fsm_graphs/ and might do so every now and then. If anyone likes, we could do it from jenkins regularly.
~N