"newvalue":"with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having receive a valid SREM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives a valid SSEM\r\n\tthen\r\n\t\t the IUT forwards the SSEM content to upper layers\r\n and the IUT forwards the SSEM content to other facilities",
"newvalue":"with\r\n\tthe IUT being in the \"initial state\"\r\nand the IUT having send a valid SREM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives a valid SSEM\r\n\tthen\r\n\t\t the IUT forwards the SSEM content to upper layers\r\n and the IUT forwards the SSEM content to other facilities",
"origin":"c72dcbb2-ab88-4e3d-ae44-25419c2891c7",
"type":"STRING",
"value":"with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having receive a valid SREM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives a valid SSEM\r\n\tthen\r\n\t\t the IUT forwards the SSEM content to upper layers\r\n and the IUT forwards the SSEM content to other facilities"
"value":"with\r\n\tthe IUT being in the \"initial state\"\r\nand the IUT having send a valid SREM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives a valid SSEM\r\n\tthen\r\n\t\t the IUT forwards the SSEM content to upper layers\r\n and the IUT forwards the SSEM content to other facilities"