Inmap-t: Leveraging TTCN-3 to Test the Security Impact of Intra Network Elements