@inproceedings{KugelePuceaPopaetal.2015, author = {Kugele, Stefan and Pucea, Gheorghe and Popa, Ramona and Dieudonn{\´e}, Laurent and Eckardt, Horst}, title = {On the deployment problem of embedded systems}, booktitle = {2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-5090-0237-5}, doi = {https://doi.org/10.1109/MEMCOD.2015.7340482}, pages = {158 -- 167}, year = {2015}, language = {en} }