A semantical reference model for the integration of different dimensions of distributed system specifications | lit.salon