Added some other Use Case specifications and exception specifications