Equivalent design representations and transformations for interactive scheduling | IEEE Conference Publication | IEEE Xplore