In: Tutorial Notes from Int. Symposium on Software Reliability Engineering (ISSRE `95), Toulouse, Oct. 1995, pages 1-101. 1995. Available at http://www.informatik.tu-cottbus.de/~wwwdssz/publications/papers.html.
Keywords: dependability engineering; software validation; Petri net generation; place/transition Petri nets; coloured Petri nets; time-dependent Petri nets; qualitative analysis; quantitative analysis; temporal logics; production cell.