1. A Virtualized Separation Kernel for Mixed-Criticality Systems;ACM Transactions on Computer Systems;2016-09-17
2. Replication and Diversification;Embedded Software Development for Safety-Critical Systems;2015-09-03
3. Fault Tolerant Systems;Springer Series in Reliability Engineering;2011
4. A design paradigm for fault-tolerant systems;6th Computers in Aerospace VI Conference;1987-08-17
5. Fault-Tolerant Computing;Advances in Computers;1987