Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic | IEEE Conference Publication | IEEE Xplore