publication venue for Design for Availability – Flexible System Evaluation with a Model Library of Generic RAMST Blocks. 1. 2012
