Using the planning scheduler in real-time fieldbuses: theoretical model for run-time overhead | IEEE Conference Publication | IEEE Xplore