EP2575002B1 - Method and Virtualisation Software for Producing Independent Time Sources for Virtual Runtime Environments