MAMBA: Model-Based Software Analysis Utilizing OMG's SMM. - Sören Frey; André van Hoorn; Reiner Jung; Benjamin Kiel; Wilhelm Hasselbring (Softwaretechnik-Trends, 2012)