Formal methods in support of SMC design
EM Elena Bortnik · TU/e Research Portal · 2008
Special thanks goes to Bert van Beek for contributing a great deal of his time into helping me to define the translation from χ to Uppaal, and to Michel Reniers, who always found the time to answer my questions.I also would like to thank Albert Hofkamp for implementing the path reduction method for timed systems as well as for answering all kind of questions I had, from Linux commands to the χ toolset implementation.I would like to thank Niels Braspenning with whom I performed one of the case studies