Real World Threat Modeling Using the PASTA Methodology