Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally | IEEE Conference Publication | IEEE Xplore