Automated assists to the behavioral modeling process | IEEE Conference Publication | IEEE Xplore