Extensions of Statecharts with probability, time, and stochastic timing

Abstract

Dit proefschrift is goedgekeurd door de promotor, prof.dr. R.J. Wieringa, en de assistent-promotor, dr.ir. J.-P. Katoen. Christina Siu have helped me with the graphical design of the thesis. I have made the acquantance with and got support from many other people living in Twente, too many to mention. I only want to thank my paranymphs, Hans Boschker and Rob Kosman, here. Finally, I hope never to forget the One who stands at the beginning and end of everyone and everything, without whom we could not live and, for example, write a Ph. D. thesis.