Improved Domain Modeling for Realistic Automated Planning and Scheduling in Discrete Manufacturing | IEEE Conference Publication | IEEE Xplore