Am 15. Juni 2010 wurde Ashraf Armoush für seine Arbeit zum Thema Design Patterns for Safety-Critical Embedded Systems promoviert. Herzlichen Glückwunsch, Ashraf!