TY - RPRT TI - Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language AU - Andre Rodrigues AU - Alberto Rodrigues da Silva PY - 2023 UR - https://arxiv.org/abs/2312.10822 ID - 2312.10822 ER -