Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.
Dan ZhangDragan BosnackiMark van den BrandCornelis HuizingBart JacobsRuurd KuiperAnton WijsPublished in: MODELSWARD (Revised Selected Papers) (2016)