Toward automated threat modeling of edge computing systems