P. W. V. Jørgensen, “Enhanced Modelling and Efficient Realisation of Cyber- Physical Systems”, ECE-TR, vol. 3, no. 21, Sep. 2014.