Multi-Level Modeling of Socio-Technical Systems