Adapted diagrams, corrected formatting, reimplemented counter and added documentation for MS-3a