Enhancing Stride Threat Models Using Mitre EMB3D · HackerTrans