TempImplication_SE.ttcn 2.23 KB