1. Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: 15th International Software Product Line Conference (SPLC 2011), pp. 130–139 (2011)
2. Bacchiega, G.: Creating an embedded digital twin: monitor, understand and predict device health failure. In: Inn4mech - Mechatronics and Industry 4.0 Conference Presentation (2018).
https://irsweb.it/pdf/Embedded_Digital%20Twin_v2.pdf
3. Bakera, M., Margaria, T., Renner, C., Steffen, B.: Verification, diagnosis and adaptation: tool-supported enhancement of the model-driven verification process. In: Revue des Nouvelles Technologies de l’Information (RNTI-SM-1), pp. 85–98, December 2007
4. Bakera, M., Margaria, T., Renner, C., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5, 211–228 (2009).
https://doi.org/10.1007/s11334-009-0091-6
5. Lecture Notes in Computer Science;S Boßelmann,2016