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