Use case specifications: How complete are they?. Issue 1 (23rd August 2019)