Product modeling framework and language for behavior evaluation | IEEE Conference Publication | IEEE Xplore