Follow-up on review

- `isValidTicket` now only checks if the parameters are wellformed while `isCorrespondingTicket` checks if the specified ticket matches a ticket that has been added to a publication object.
- Removed the assertion of created users
- Added some documentation where necessary