μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification ; μSPL - Proprietär grafikspråkstranspilator : Hävdning av översättningskorrekthet med hjälp av körtidsverifiering - Andersson Glass, Henrik (KTH, Skolan för elektroteknik och datavetenskap (EECS), 2021)