Design and Simulation of Logical-Dynamical Systems. - R. Büttner; H. Ehrlich; C. Nitu; Andreas Pretschner (EUROSIM, 1995)