Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models