Inmap-t: Leveraging TTCN-3 to test the security impact of intra network elements