M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen. Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. pages 120-127, IEEE, 2011. [doi]
Abstract is missing.