Integration of domain-specific models into a MDA framework for time-critical embedded systems | IEEE Conference Publication | IEEE Xplore