update on spec

spec updated to last version, state diagram and last chapter should be
correct now.