Model-based documentation of dynamicity constraints for collaborative cyber-physical system architectures: Findings from an industrial case study.