Klaus Hellgardt

• Practical Aspects of the Modelling of Reactive Systems