TTCN-3 Libraries