Automated threat modeling for composable systems needs controlled boundaries. — Synthesis