supported publications or other works Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures Conferences Disciplined methods of software specification: a case study Conferences Specification of Software Component Requirements Using the Trace Function Method Conferences
