Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. - Dragan Bosnacki; Mark van den Brand; Joost Gabriels; Bart Jacobs 002; Ruurd Kuiper 001; Sybren Roede; Anton Wijs; Dan Zhang 002 (FACS, 2015)