On the semi-Markov-process and its block diagram representation with applications to aircraft mission analysis