Defining and validating measures for object-based high-level design | IEEE Journals & Magazine | IEEE Xplore