Fixed some inconsistencies in the use cases for express lanes and added two entries to the glossary.
Merge branch 'master' of https://github.com/jannickj/SystemIntegrationStudy