Reworked Use Case specifications