Transformation from requirement into behavior design: A review | IEEE Conference Publication | IEEE Xplore