Jørgensen, Peter Würtz Vinther. 2014. “Enhanced Modelling and Efficient Realisation of Cyber- Physical Systems”. Technical Report Electronics and Computer Engineering 3 (21). https://tidsskrift.dk/ece/article/view/21235.