Removed state machines from procedures since they are no more used there.
Split the specification into chapters