Hassine, Jameleddine: Formal Semantics and Verification Of Use Case Maps | DealShopping Deutschland