VDM-SL cheatsheet