USL: A Domain-Specific Language for Precise Specification of Use Cases and Its Transformations. INF 2018, 42 (3). https://doi.org/10.31449/inf.v42i3.2253.