Automated Completeness Check in KAOS
2014 ◽
pp. 133-138