Title: A semantical reference model for the integration of different dimensions of distributed system specifications