Completion of SysML state machines from Given–When–Then requirements | Publicación