Analyzing Trust Requirements in Socio-Technical Systems: A Belief-Based Approach