Modellierung von Hardwareplattformen für die modellgetriebene Softwareentwicklung.