Evaluation of program controlled objects states | IEEE Conference Publication | IEEE Xplore