Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance