Ada model compilers have been realized in the past.
Here’s a paper: http://www.ooatool.com/docs/SDFAda90.pdf
Considering the date of the paper, this was a very early attempt at model compilation. IIRC, there was also a presentation given at a later date.
