Software use cases to elicit the software requirements analysis within the ASTRI project