1. ITRS: Design. Technical report, International Technology Roadmap For Semiconductors (2007)
2. OMG: UML 2.0 superstructure. Technical Report formal/05-07-04, Object Management Group (2005)
3. OMG: Mda guide version 1.0.1. Technical report, Object Management Group (2003)
4. OMG: Uml profile for marte, beta 1. Technical Report ptc/07-08-04, Object Management Group (2007)
5. Stitt, G., Vahid, F., Najjar, W.: A code refinement methodology for performance-improved synthesis from c. In: ICCAD 2006: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, pp. 716–723. ACM, New York (2006)