Ben Hedia, Belgacem; Mraidha, Chokri; Hamelin, Etienne; Tucci-Piergiovanni, Sara: 'Model-compilation challenges for cyber-physical systems' (Healthcare Technologies, 2017), 'Enhanced Living Environments: From models to technologies', Chap. 11, pp. 269-292, DOI: 10.1049/PBHE010E_ch11 IET Digital Library, https://digital-library.theiet.org/;jsessionid=faee3nbnbee9.x-iet-live-01content/books/10.1049/pbhe010e_ch11