Table 8: Brief summary of our case studies.

System LOCs Use Cases number Scenarios number Classes number Object-points number LMS 2486 16 56 18 153 SMA 1137 09 23 10 31 ATM 4217 12 30 22 82