Model Driven Development for Riot OS

Dear All,

is there anyone who studies Model-Driven development or engineering for Riot OS?

I can use these as references in my thesis and in my study.