“…183 Table 35 -Analysis of Correctness using the C&L -Lua. 184 Table 36 -Characteristics of the Admission System Case Study 186 Table 52 -Quality Indicators of ARM (Wilson et al, 1997) 224 Table 53 -Expressiveness Quality Model of QuARS (Gnesi et al, 2005) 224 Table 54 -Ambiguity Indicators of SRRE (Tjong, 2008) 225 Table 55 -Requirements language criteria (IEEE, 2011;Femmer et al, 2014) 225 Table 56 -Potentially problematic constructs (from Berry et al, 2012) 225 Table 57 -Quality User Story Framework (Lucassen et al, 2015) 226 Table 58 -Taxonomy of defects in use case models (Anda and Sjoberg, 2002) 226 Table 59 -Scenario Checklist (Leite et al, 2000;Leite et al, 2005) 227 (Sinha et al, 2010) 230 Table 63 -Common use case defects (Liu et al, 2014) 230 Table 64 -Consistency and Completeness in CMPN (Lee et al,1998) 230 Table 65 -Faults Detected by Time Petri-Nets (Lee et al, 2001) 231 Table 66 -Use Case Defect Classification (Denger et al, 2005) 231 Table 67 -Properties of UC-LTSs (Sinnig et al, 2009) 231 Table 68 -Properties of Timed and Controlled Petri-Nets (Zhao and Duan, 2009) 231 Table 69 -Properties of Reactive Petri-Nets (Somé, 2010) 231…”