https://book.mdco.me/book/Model-Based_Engineering_of_Embedded_Systems__The_SPES_2020_Methodology-eHF7