TY - RPRT TI - Towards Automatic Model Completion: from Requirements to SysML State Machines AU - Maria Stella de Biase AU - Stefano Marrone AU - Angelo Palladino PY - 2022 UR - https://arxiv.org/abs/2210.03388 ID - 2210.03388 ER -