SMT-Based Deployment Calculation for IEC 61499 Control Applications | IEEE Conference Publication | IEEE Xplore