Efficient Virtualisation of Real-Time Activities