1. R. Banach, Maximally Abstract Retrenchments, in: Proc. IEEE ICFEM-00, 2000, pp. 133–142.
2. Retrenchment, and the generation of fault trees for static, dynamic and cyclic systems;Banach,2006
3. R. Banach, M. Bozzano, The mechanical generation of fault trees for reactive systems I: Combinational circuits, 2007, submitted for publication.
4. R. Banach, M. Bozzano, The mechanical generation of fault trees for reactive systems II: Clocked and feedback circuits, 2007, submitted for publication.
5. Safety requirements and fault trees using retrenchment;Banach,2004