Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. - Johan van der Berg; Stefan Gruner (SOFL+MSVL, 2018)