Languages for analysis and testing of event sequences
A.G. Engels · TU/e Research Portal · 2001
Science is work of man.If there is one thing I have come to realize these last few years, it is that.It has been a hard lesson.My four years here in Eindhoven as a PhD student started out very well.Articles were written, sent in, published.A success story in the making, or so it seemed.But as time passed, things went less and less the way w e w ould want them to go.Projects became slow, or I even halted for a while { only to nd that starting again was even harder than continuing was originally.We all knew that something was wrong, or at least I did.But what it was became clear only when things really got out of hand one day.I had been under too much stress.And although my w ork was not the main cause, my situation did make it impossible for me to keep working, and in fact had already done so for several months.I spent most of the next half year on sick leave for it.Given these circumstances, it is almost a miracle that this booklet has come about with only half a year's delay.I w ould like to thank everybody who has helped me get through this period of my life.In particular, I would like to thank my parents, who provided me with a place where I could recuperate and nd the strength to carry on.Also great thanks to all my colleagues.When times were bad, you coped with me and helped me quiet down again.When times were better, you were friends to me and we had fun together.Very special thanks to Sjouke Mauw, who has always been a pleasure to work with, both from a personal and from a professional point of view.Jos, Marcella (thank you for the tea), Dragan, Martijn, Susanna and Tim, thanks for your help in keeping or regaining quietness.Jan-Joris, you provided me with a very pleasant atmosphere in the rst phase of