Model-based Development of a Dynamic Container-Based Edge Computing System | IEEE Conference Publication | IEEE Xplore