Szoftver alapú biztonsági rendszerek elvi alapjai. Megbízhatóságés rendelkezésre állás igazolásának lehetőségei és módszerei.(Technical report of the Systems and Control Laboratory, SCL-001-1998.)
In: Probabilistic safety assessment and management. PSAM 4. Proceedings of the 4th international conference on probabilistic safety assessment and management. New York, 1998..
Analysis of adaptive multi-state logic in fault-tolerant systems