SMT-Based Deployment Calculation in Industrial Automation Domain | IEEE Conference Publication | IEEE Xplore