The “Hibernation Report 001” was updated at https://letztersein.files.wordpress.com/2014/12/hr001-pieta-mib-core-v0-3.pdf.

Chapter 3.2 does some considerations about how to implement the SMUOS Framework in a type enforcing language (not in ugly JavaScript, as it is currently written).

Attention: Chapters 1 and 2 (introduction and planning) are written in German language. Only chapter 3 (the actual description of the MIDAS Base) is written in English language.