EP1533674A3 - Method for developing and implementing a model to formally describe a collaborative system comprising a plurality of distributed components, particularly an intelligent flexible production and/or process automation system