Jørgensen, P. W. V. Enhanced Modelling and Efficient Realisation of Cyber- Physical Systems. ECE-TR 2014, 3.