Prophesy: automating the modeling process | IEEE Conference Publication | IEEE Xplore