Proceedings of Conference MOSIS ' 94 : Modelling and Simulation of Systems - Štefan, Jan (MARQ, 1994)