Performance prediction based on semi-formal software architectural description | IEEE Conference Publication | IEEE Xplore