Querying and controlling the future behavior of complex objects | IEEE Conference Publication | IEEE Xplore