Timing analysis of real-time software systems using fuzzy time Petri nets