Protos: Foundations for engineering innovative sociotechnical systems | IEEE Conference Publication | IEEE Xplore