IoT Security Development Framework for building trustworthy Smart car services
Automated Security Test Generation with Formal Threat Models