Protos: Foundations for Engineering Innovative Socio-Technical Systems